See examples in FiniteGroups.mw
FG_simplify
core procedure for all the simplifications of atomic objects.
If no radicals use x->x,
in the most cases simplify@evalc works well,
for complicated radicals try radnormal.
It is applied to non-atomic objects by FGS command.FG_floor
floor-procedure used for reduction of lattice coordinates to unit cell;
can be set directly or by setfloordef(), setfloorfast(), setfloorback().FiniteGroups[Setup]({printout})
package setup similar to BasicTools[Setup].FG_g2q(g,/pole,sf,$)::[det,axisorder,axis(3),translation(3)]
encode symmetry operation, where '(3)' means sequence of three numbers,
pole::Vector:=<4,1,16> is used to orient axis,
and sf::procedure:=(x->x) is the simplification function
applied elementwise to axis before appyling FGS.FG_GFE(n,a,b,$)::G
generating function of exceptional groups,
where n::{2,3,5} is the order and a,b are generators,
see Eq.(5.6) in Handbook on Point Groups.
Tested in PointGroups.mw.