"ComputedFiniteGroup" (Interpreter Type)

A finite group derived by computation.

Details

Allowed Forms

  • Any natural-language name of a finite group, or a computation yielding one.

Restriction Specifications

Interpretation

Examples

Basic Examples  (3)

Interpret finite groups:

Restrict to finite groups in a class:

Apply a property restriction: