canonical_x_K.at Function IndexΒΆ
Functions
Function | Argument(s) -> Results |
---|---|
map_into_distinguished_fiber | KGBElt x->KGBElt |
strong_map_into_distinguished_fiber | KGBElt x->KGBElt |
canonical_x_K | KGBElt x->KGBElt |
canonical_x_K | Param p->KGBElt |
Functions
Function | Argument(s) -> Results |
---|---|
map_into_distinguished_fiber | KGBElt x->KGBElt |
strong_map_into_distinguished_fiber | KGBElt x->KGBElt |
canonical_x_K | KGBElt x->KGBElt |
canonical_x_K | Param p->KGBElt |