canonical_x_K.at Function References¶

map_into_distinguished_fiber¶

map_into_distinguished_fiber:KGBElt x->KGBElt Defined in line number 23.

strong_map_into_distinguished_fiber:KGBElt x->KGBElt Defined in line number 39.

canonical_x_K:KGBElt x->KGBElt Defined in line number 42.

canonical_x_K:Param p->KGBElt Defined in line number 43.