GroupProduct

A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.

Mapped through to oscar for the oracle; not yet written up here.

GroupProduct(...)Mapped through to oscar for the oracle; not yet written up here.

Typed signatures

Type	Package	Applies
(expression<CyclicGroup> | expression<DihedralGroup> | expression<GroupDirectProduct>, expression, expression) -> expression	groupalgebra	always

Domain: Oracle

Examples

Basic #

$2 + 5 = 7 \equiv 1$

live ↗

In$\mathrm{GroupProduct}(\mathrm{CyclicGroup}(6), \mathrm{GroupBasis}(\text{2}), \mathrm{GroupBasis}(\text{5}))$Out$\mathrm{GroupBasis}(\text{1})$

About

Examples	1
Crosswalk	Oscar

Implementation

mappedoscarpackages/oracle/src/mappings.ts