Dom::DihedralGroup

Образуемые двумя пересекающимися плоскостями группы

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

Доменное создание

Dom::DihedralGroup(n)

Создание элемента

Dom::DihedralGroupn(l)

Описание

Доменное создание

Dom::DihedralGroup(n) создает образуемую двумя пересекающимися плоскостями группу размера n, т.е. группа симметрий правильного многоугольника с ребрами n.

Dom::DihedralGroup(n) создает группу всех конгруэнтных отображений плоскости, которые вызывают отображение bijective набора углов регулярного n - угол к себе.

Создание элемента

Dom::DihedralGroup(n)([a,b]) представляет элемент группы “t a, выполненный после r b”, где r является вращением, которое сопоставляет каждый угол с его покинутым соседом, и t является отражательный w.r.t. некоторая фиксированная центральная диагональ.

Суперобласть

Dom::BaseDomain

Аксиомы

Ax::canonicalRep

Категории

Cat::Group

Примеры

Пример 1

Задайте группу D 6, т.е. группу отображений конгруэтности шестиугольника:

G := Dom::DihedralGroup(6)

Затем элементы могут быть созданы можно следующим образом:

a := G([7, 19]);

Это означает, что 19 вращений — сопоставляющий каждый угол с его покинутым соседом — и 7 отражений оказывают то же влияние как одна операция любого типа.

Параметры

n

Положительное целое число

l

Список или массив двух целых чисел

Записи

размер

число элементов, которое равняется 2 n.

"один"

отображение, оставляя каждую точку зафиксировано.

Методы

развернуть все

Математические методы

_mult(a, …)

Этот метод перегружает функцию ядра _mult.

_invert(a)

Этот метод перегружает функцию ядра _invert.

_power(a, n)

Это перегружает функцию ядра _power.

order(a)

random()

Методы преобразования

expr(a)

Наследованный от Cat::BaseCategory.

Наследованный от Cat::BaseCategory.

Наследованный от Cat::BaseCategory.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Cat::Monoid.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Cat::Group.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Cat::BaseCategory.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.

Наследованный от Dom::BaseDomain.