synthetic_aux.at Function References


my_posroot_cross

my_posroot_cross:int i, Param p->Param Defined in line number 9.


Wword_cross

Wword_cross:W_word(rd,w),KGBElt x->KGBElt Defined in line number 20.


my_posroot_Cayley

my_posroot_Cayley:int i, Param p->Param Defined in line number 31.


my_posroot_inv_Cayley

my_posroot_inv_Cayley:int i, Param p->Param Defined in line number 58.


test_cayleys

test_cayleys:Param p->void Defined in line number 83.


test_cayleys_2

test_cayleys_2:Param p->void Defined in line number 109.