A |
lf.family_ambiguity
Ambiguity of a family
lf.associated_inertia
Associated inertia
lf.automorphism_group
Automorphism group of a field extension
|
B |
lf.family_ramification
Base and absolute ramification indices
lf.family_residue_field_degree
Base and absolute residue field degrees
lf.family_base
Base field of a family of -adic field extensions
|
D |
lf.field.data
Data for a local field
lf.family_varying
Data that varies within families
lf.defining_polynomial
Defining polynomial of a local field
lf.qp
Definition of
lf.degree
Degree of a local field extension
lf.discriminant_exponent
Discriminant exponent of a local field
lf.discriminant_root_field
Discriminant root field of a local field
|
E |
lf.eisenstein_form
Eisenstein form
lf.eisenstein_polynomial
Eisenstein polynomial
lf.extent
Extent of local number field data
|
F |
lf.family_polynomial
Families of extensions of local fields
lf.family_label
Family labels
lf.family_field_count
Field count
lf.search_input
Find a p-adic field
|
G |
lf.galois_invariants
Galois invariants of a local field
lf.galois_mean_slope
Galois mean slope
lf.galois_splitting_model
Galois splitting model of a local field
|
H |
lf.heights
Heights of an extension
lf.herbrand_invariant
Herbrand invariant
lf.hidden_slopes
Hidden slopes of an extension
|
I |
lf.indices_of_inseparability
Indices of inseparability
lf.inertia_group
Inertia group
lf.inertia_group_search
Inertia group searching
lf.intermediate_fields
Intermediate fields
|
J |
lf.jump_set
Jump set
|
L |
lf.field.label
Label for a -adic field
lf.algebra.data
Local algebra
lf.local_field
Local field
lf.invariants
Local field invariants
|
M |
lf.family_mass
Mass of a family
lf.maximal_ideal
Maximal ideal of a local field
lf.means
Means of an extension
lf.family_missing_mass
Missing mass
|
N |
lf.newton_polygon
Newton polygon of a polynomial
lf.wild_segments
Number of wild segments of a family
|
P |
lf.family_invariants
-adic family invariants
lf.padic_field
-adic field
lf.log
-adic logarithm
lf.packet
Packets in a family
|
R |
lf.ramification_index
Ramification index of an extension of -adic fields
lf.ramification_polygon
Ramification polygon
lf.ramification_polygon_display
Ramification polygon
lf.rams
Rams
lf.tilts
Rams
lf.residual_polynomials
Residual polynomials
lf.residue_field
Residue field
lf.residue_field_degree
Residue field degree of a local field
lf.ring_of_integers
Ring of integers of a local field
lf.root_number
Root number of a local field
lf.roots_of_unity
Roots of unity
|
S |
lf.slope_content
Slope content of a -adic field
lf.newton_slopes
Slopes of the Newton polygon of a polynomial
lf.swan_slopes
Swan slopes
|
T |
lf.tame_degree
Tame degree of a local field extension
lf.unramified_totally_ramified_tower
The unramified/totally ramified tower of a local field
lf.top_slope
Top slope for a local field
|
U |
lf.unramified_degree
Unramified degree of a local field
lf.unramified_subfield
Unramified subfield
|
V |
lf.visible_slopes
Visible slopes
|
W |
lf.wild_slopes
Wild Artin slopes of a local field
lf.wild_inertia_group
Wild inertia group
lf.wild_inertia_group_search
Wild inertia group search
|