List of all items

Structs

• clifford::cga::Cga
• clifford::divided_power::DividedPowerAlgebra
• clifford::divided_power::DpVector
• clifford::engine::CliffordAlgebra
• clifford::engine::Metric
• clifford::engine::Multivector
• clifford::outermorphism::LinearMap
• clifford::spinor::LazySpinorRep
• clifford::spinor::SpinorRep
• clifford::spinor_norm::VersorInvariants
• forms::char0::CliffordInvariants
• forms::char0::RationalCliffordInvariants
• forms::char0::RationalPlaceInvariant
• forms::char2::ArfInvariants
• forms::char2::BrownInvariants
• forms::char2::Char2SymmetryFactorization
• forms::char2::Extraspecial2Group
• forms::char2::ExtraspecialElement
• forms::char2::HeisenbergWeilRepresentation
• forms::classify::Char2WittDecomp
• forms::equivalence::OddWittDecomp
• forms::equivalence::RealWittDecomp
• forms::field_invariants::FiniteFieldNumericInvariants
• forms::hermitian::FiniteHermitianForm
• forms::hermitian::FiniteHermitianInvariants
• forms::hermitian::HermitianForm
• forms::hermitian::HermitianSignature
• forms::integral::BinaryCode
• forms::integral::CliffordBarnesWall16Invariants
• forms::integral::Complex64
• forms::integral::DiscriminantForm
• forms::integral::FiniteQuadraticModule
• forms::integral::FqmGaussPhase
• forms::integral::FqmPrimaryPhase
• forms::integral::FqmPrimaryWittClass
• forms::integral::FqmValueCount
• forms::integral::FqmWittClass
• forms::integral::GaussSum
• forms::integral::Genus
• forms::integral::GenusHasseCoherence
• forms::integral::GenusLocalFieldInvariants
• forms::integral::IntegralForm
• forms::integral::KneserMassInvariants
• forms::integral::KneserMassRecord
• forms::integral::KneserNeighbor
• forms::integral::NiemeierRecord
• forms::integral::NiemeierRootComponent
• forms::integral::NikulinExistenceInvariants
• forms::integral::NikulinPrimaryExistenceInvariants
• forms::integral::OddDiscriminantForm
• forms::integral::OddMilgramInvariants
• forms::integral::PrimeCode
• forms::integral::ScaleSymbol
• forms::integral::TwoElementaryWeilHeisenbergInvariants
• forms::integral::WeylVersorInvariants
• forms::local_global::AdelicIsotropy
• forms::local_global::FFAdelicIsotropy
• forms::oddchar::OddCharInvariants
• forms::quadric_fit::QuadricFit
• forms::springer::Char2LocalDecomp
• forms::springer::Char2QuadForm
• forms::springer::LocalResidueForm
• forms::springer::LocalSpringerDecomp
• forms::springer::ResidueForm
• forms::springer::SpringerDecomp
• forms::symplectic::SymplecticForm
• forms::symplectic::SymplecticInvariants
• forms::witt::ArtinSchreierCenterDiscriminant
• forms::witt::Brauer2Class
• forms::witt::BrauerClass
• forms::witt::CliffordCenterInvariants
• forms::witt::ComplexCenterDiscriminant
• forms::witt::EnStaircase
• forms::witt::FiniteFieldMilnorK1Class
• forms::witt::FiniteFieldMilnorK2Class
• forms::witt::FunctionFieldBrauer2Class
• forms::witt::FunctionFieldBrauerWallClass
• forms::witt::FunctionFieldMilnorK1Class
• forms::witt::MilnorK0Class
• forms::witt::RationalBrauerWallClass
• forms::witt::RationalMilnorK1Class
• forms::witt::RealCenterDiscriminant
• forms::witt::WittClass
• games::brown_selector::BrownSelector
• games::game_exterior::clifford::GameClifford
• games::game_exterior::lambda::GameExterior
• games::game_exterior::relations::GameRelation
• games::game_exterior::relations::GameRelationCertificate
• games::game_exterior::relations::RelationSearchCertificate
• games::hackenbush::Hackenbush
• games::kernel::ScoreInterval
• games::lexicode::LexicodeTurningGame
• games::lexicode::NimLexicode
• games::loopy::catalogue::LoopyPartizanOutcome
• games::loopy::graph::LoopyGraph
• games::loopy::nim_values::LoopyNimCertificate
• games::loopy::partizan::LoopyPartizanGraph
• games::loopy::partizan::LoopyStopperWitness
• games::loopy::partizan::LoopyTurnState
• games::misere::AbstractGame
• games::misere::Quotient
• games::nimber_game::NimberGame
• games::number_game::NumberGame
• games::octal::GuySmithCertificate
• games::octal::GuySmithWitness
• games::octal::OctalCode
• games::partizan::Game
• games::piecewise::Pl
• games::thermography::Thermograph
• games::witt_fifo::WittFifoArena
• games::witt_fifo::WittFifoCoin
• games::witt_fifo::WittFifoCoinId
• games::witt_fifo::WittFifoPosition
• scalar::big::omnific::Omnific
• scalar::big::ordinal::Ordinal
• scalar::big::surreal::SignExpansion
• scalar::big::surreal::Surreal
• scalar::exact::integer::Integer
• scalar::exact::rational::Rational
• scalar::finite_field::fp::Fp
• scalar::finite_field::fpn::Fpn
• scalar::finite_field::nimber::Nimber
• scalar::finite_field::wittvec::WittVec
• scalar::functor::gauss::Gauss
• scalar::functor::laurent::Laurent
• scalar::functor::ramified::Ramified
• scalar::functor::surcomplex::Surcomplex
• scalar::global::adele::Adele
• scalar::global::function_field::RationalFunction
• scalar::global::local_qp::LocalQp
• scalar::newton::NewtonPolygon
• scalar::poly::Poly
• scalar::small::qp::Qp
• scalar::small::qq::Qq
• scalar::small::zp::Zp
• scalar::tropical::MaxPlus
• scalar::tropical::MinPlus
• scalar::tropical::Tropical
• weyl::WeylAlgebra
• weyl::WeylElement
• weyl::WeylMonomial

Enums

• forms::char0::BaseField
• forms::char2::Char2FactorizationError
• forms::char2::ExtraspecialError
• forms::char2::ExtraspecialType
• forms::char2::OrthogonalType
• forms::classify::ClassifyError
• forms::classify::FiniteFieldInvariants
• forms::classify::FiniteFieldWittDecomp
• forms::hermitian::HermitianRestrictionError
• forms::integral::NiemeierComponentKind
• forms::integral::NikulinExistenceObstruction
• forms::local_global::FunctionFieldPlace
• forms::local_global::Place
• forms::witt::BrauerWallClass
• forms::witt::BrauerWallError
• forms::witt::CliffordCenterError
• forms::witt::DiscriminantEtaleAlgebra
• forms::witt::FiniteFieldCenterDiscriminant
• forms::witt::MilnorInvariantError
• forms::witt::QuadraticEtaleRelation
• forms::witt::WittClassError
• forms::witt::WittClassG
• forms::witt::WittClassGError
• games::brown_selector::BrownSelectorError
• games::game_exterior::clifford::GameCliffordError
• games::hackenbush::Color
• games::kernel::Outcome
• games::loopy::catalogue::LoopyValue
• games::loopy::catalogue::LoopyWinner
• games::loopy::catalogue::PartizanOutcome
• games::loopy::nim_values::LoopyNimber
• games::loopy::partizan::LoopyMover
• games::loopy::partizan::LoopyPartizanGraphError
• games::loopy::partizan::LoopyStopperStatus
• games::octal::GuySmithError
• games::octal::OctalCodeError
• games::witt_fifo::WittFifoCoinKind
• games::witt_fifo::WittFifoError
• games::witt_fifo::WittFifoMove
• scalar::exact::integer::IntegerDivExactError
• scalar::finite_field::fpn::ReductionPolynomialKind
• scalar::global::adele::AdelePlace
• weyl::WeylError

Traits

• clifford::frobenius::CoordinateCyclicGaloisExtension
• forms::char2::FiniteChar2Field
• forms::classify::ClassifyBrauerWall
• forms::classify::ClassifyCliffordCenters
• forms::classify::ClassifyForm
• forms::classify::ClassifyIsometry
• forms::classify::ClassifyMilnor
• forms::classify::ClassifyWitt
• forms::classify::DecomposeWitt
• forms::field_invariants::FiniteFieldInvariantField
• forms::local_global::GlobalField
• forms::oddchar::FiniteOddField
• forms::witt::Mod2MilnorField
• forms::witt::TameSymbolResidueField
• scalar::Scalar
• scalar::analytic::ExactRoots
• scalar::analytic::Ordered
• scalar::analytic::SeriesRoots
• scalar::exactness::ExactFieldScalar
• scalar::exactness::ExactScalar
• scalar::exactness::PrecisionScalar
• scalar::extension::CyclicGaloisExtension
• scalar::extension::FieldExtension
• scalar::extension::QuadraticInvolution
• scalar::finite_field::FiniteField
• scalar::integrality::HasFractionField
• scalar::integrality::HasRingOfIntegers
• scalar::residue::ResidueField
• scalar::tropical::Semiring
• scalar::tropical::TropicalConvention
• scalar::valued::Valued

Functions

• clifford::blade::blade_subspace
• clifford::blade::factor_blade
• clifford::blade::is_blade
• clifford::cga::exp_nilpotent
• clifford::cga::pga
• clifford::engine::bits
• clifford::engine::grade
• clifford::frobenius::frobenius_linear_map
• clifford::frobenius::galois_linear_map
• clifford::frobenius::nimber_subfield_frobenius_linear_map
• clifford::hopf::antipode
• clifford::hopf::coproduct
• clifford::hopf::counit
• clifford::hopf::tensor_square
• clifford::outermorphism::apply_outermorphism
• clifford::outermorphism::char_poly
• clifford::outermorphism::determinant
• clifford::outermorphism::exterior_power_trace
• clifford::outermorphism::inverse_outermorphism
• clifford::outermorphism::trace
• clifford::spinor::lazy_spinor_rep
• clifford::spinor::spinor_rep
• clifford::spinor_norm::versor_grade_parity
• forms::char0::classify_complex
• forms::char0::classify_rational
• forms::char0::classify_real
• forms::char0::classify_surcomplex
• forms::char0::classify_surreal
• forms::char2::arf_char2
• forms::char2::arf_f2
• forms::char2::arf_fpn_char2
• forms::char2::arf_invariant
• forms::char2::arf_nimber
• forms::char2::arf_ordinal_finite
• forms::char2::artin_schreier_class_finite
• forms::char2::brown_f2
• forms::char2::certify_char2_symmetry_factorization
• forms::char2::char2_spinor_norm
• forms::char2::char2_vector_symmetry
• forms::char2::dickson_matrix
• forms::char2::dickson_matrix_char2
• forms::char2::dickson_of_versor
• forms::char2::double_f2
• forms::char2::extraspecial_group_f2
• forms::char2::extraspecial_group_nimber
• forms::char2::factor_char2_isometry
• forms::char2::heisenberg_weil_representation_f2
• forms::char2::heisenberg_weil_representation_nimber
• forms::char2::ordinal_metric_finite_subfield_degree
• forms::diagonalize::as_diagonal
• forms::diagonalize::diagonalize
• forms::diagonalize::gram
• forms::equivalence::isometric_finite_char2
• forms::equivalence::isometric_finite_odd
• forms::equivalence::isometric_fpn_char2
• forms::equivalence::isometric_nimber
• forms::equivalence::isometric_ordinal_finite
• forms::equivalence::isometric_rational
• forms::equivalence::isometric_real
• forms::equivalence::isometric_surcomplex
• forms::equivalence::witt_decompose_finite_odd
• forms::equivalence::witt_decompose_real
• forms::field_invariants::finite_field_numeric_invariants
• forms::field_invariants::is_sum_of_n_squares
• forms::field_invariants::level
• forms::field_invariants::level_finite
• forms::field_invariants::pythagoras_number
• forms::field_invariants::pythagoras_number_finite
• forms::field_invariants::u_invariant
• forms::field_invariants::u_invariant_finite
• forms::integral::a_n
• forms::integral::are_in_same_genus
• forms::integral::as_modular_form
• forms::integral::barnes_wall_16
• forms::integral::clifford_barnes_wall_16
• forms::integral::clifford_barnes_wall_16_numerator_rows
• forms::integral::clifford_barnes_wall_16_report
• forms::integral::construction_d
• forms::integral::coxeter_number
• forms::integral::d16_plus
• forms::integral::d_n
• forms::integral::delta
• forms::integral::e_6
• forms::integral::e_7
• forms::integral::e_8
• forms::integral::eisenstein_e12
• forms::integral::eisenstein_e4
• forms::integral::eisenstein_e6
• forms::integral::even_unimodular_kneser_report
• forms::integral::extended_hamming_code
• forms::integral::genus_signature_mod8
• forms::integral::golay_code
• forms::integral::hamming_code
• forms::integral::is_root_lattice
• forms::integral::isotropic_lines_mod_p
• forms::integral::kneser_neighbor
• forms::integral::kneser_neighbors
• forms::integral::leech
• forms::integral::mass_even_unimodular
• forms::integral::mk_basis
• forms::integral::modular_qexp_add
• forms::integral::modular_qexp_mul
• forms::integral::modular_qexp_scale
• forms::integral::modular_qexp_sub
• forms::integral::niemeier_classes
• forms::integral::niemeier_mass_sum
• forms::integral::niemeier_weighted_theta_average
• forms::integral::odd_milgram_report
• forms::integral::qexp_from_int
• forms::integral::reed_muller_code
• forms::integral::repetition_code
• forms::integral::ternary_golay_code
• forms::integral::type_i_z2_code
• forms::integral::type_i_z2_plus_e8_code
• forms::integral::type_ii_e8_sum_code
• forms::integral::type_ii_len16_code
• forms::integral::verify_milgram
• forms::integral::verify_odd_milgram
• forms::integral::weyl_coxeter_action_order
• forms::integral::weyl_coxeter_versor
• forms::integral::weyl_simple_reflection_map
• forms::integral::weyl_simple_reflection_maps
• forms::integral::weyl_simple_root_versors
• forms::integral::weyl_versor_action_map
• forms::integral::weyl_versor_report
• forms::local_global::artin_schreier_ramified_places
• forms::local_global::artin_schreier_reciprocity_sum
• forms::local_global::artin_schreier_symbol_at
• forms::local_global::artin_schreier_symbol_places
• forms::local_global::brauer_invariant_sum
• forms::local_global::brauer_local_invariants
• forms::local_global::constant_extension_invariant_sum
• forms::local_global::constant_extension_invariants
• forms::local_global::hilbert_product
• forms::local_global::hilbert_symbol_real
• forms::local_global::isotropy_over_adeles
• forms::local_global::monic_irreducible_factors
• forms::local_global::tame_symbol_invariant_sum_ff
• forms::local_global::tame_symbol_invariants_ff
• forms::local_global::try_hasse_at_place
• forms::local_global::try_hasse_at_place_ff
• forms::local_global::try_hilbert_reciprocity_product
• forms::local_global::try_hilbert_reciprocity_product_ff
• forms::local_global::try_hilbert_symbol_at
• forms::local_global::try_hilbert_symbol_ff
• forms::local_global::try_hilbert_symbol_qp
• forms::local_global::try_is_isotropic_at_place_ff
• forms::local_global::try_is_isotropic_ff
• forms::local_global::try_is_isotropic_q
• forms::local_global::try_is_local_square_ff
• forms::local_global::try_is_square_qp
• forms::local_global::try_isotropy_over_ff_adeles
• forms::local_global::try_ramified_places_ff
• forms::local_global::try_relevant_places_ff
• forms::local_global::try_tame_symbol_exponent_ff
• forms::local_global::try_tame_symbol_invariant_ff
• forms::local_global::try_valuation_at_ff
• forms::oddchar::classify_finite_odd
• forms::oddchar::discriminant_finite_odd
• forms::oddchar::finite_odd_witt
• forms::oddchar::hasse_invariant_finite_odd
• forms::oddchar::hilbert_symbol
• forms::oddchar::is_square
• forms::oddchar::is_square_finite
• forms::quadric_fit::fit_f2_quadratic
• forms::springer::artin_schreier_form_places
• forms::springer::global_is_pe
• forms::springer::is_isotropic_global_char2
• forms::springer::local_anisotropic_dim_char2
• forms::springer::local_is_isotropic_char2
• forms::springer::springer_decompose
• forms::springer::springer_decompose_laurent
• forms::springer::springer_decompose_local
• forms::springer::springer_decompose_local_char2
• forms::springer::springer_decompose_qp
• forms::springer::springer_decompose_qq
• forms::symplectic::classify_symplectic
• forms::trace_form::cyclic_algebra_trace_form
• forms::trace_form::gold_component_diagonal_dual
• forms::trace_form::gold_diagonal_artin_schreier_source
• forms::trace_form::gold_diagonal_dual
• forms::trace_form::gold_form
• forms::trace_form::restrict_diagonal
• forms::trace_form::trace_form_arf
• forms::trace_form::trace_twisted_form
• forms::trace_form::transfer_diagonal
• forms::witt::brauer_corestrict_local_invariants
• forms::witt::brauer_restrict_local_invariant
• forms::witt::bw_class_complex
• forms::witt::bw_class_finite_odd
• forms::witt::bw_class_function_field
• forms::witt::bw_class_nimber
• forms::witt::bw_class_rational
• forms::witt::bw_class_real
• forms::witt::clifford_brauer_class
• forms::witt::clifford_brauer_class_ff
• forms::witt::cyclic_algebra_invariant
• forms::witt::e_real
• forms::witt::e_staircase_finite_odd
• forms::witt::function_field_signed_discriminant_class
• forms::witt::global_residues
• forms::witt::global_residues_ff
• forms::witt::hasse_brauer_class
• forms::witt::hasse_brauer_class_ff
• forms::witt::in_fundamental_ideal
• forms::witt::milnor_residue_symbol_1_ff
• forms::witt::milnor_residue_symbol_1_q
• forms::witt::milnor_residue_symbol_2_ff
• forms::witt::milnor_residue_symbol_2_q
• forms::witt::milnor_symbol_1
• forms::witt::milnor_symbol_2
• forms::witt::pfister
• forms::witt::pfister1
• forms::witt::rational_signed_discriminant_class
• forms::witt::tame_symbol_exponent
• forms::witt::tame_symbol_invariant
• forms::witt::tensor_form
• games::atomic_weight::atomic_weight
• games::atomic_weight::atomic_weight_int
• games::coin_turning::grundy_1d
• games::coin_turning::nim_mul_mex
• games::coin_turning::singleton_companions
• games::coin_turning::tartan_grundy
• games::coin_turning::turtles_companions
• games::grundy::grundy
• games::grundy::grundy_graph
• games::grundy::mex
• games::heating::heat
• games::heating::integer_game_value
• games::heating::is_positive_game
• games::heating::norton_multiply
• games::heating::numeric_norton_composition_defect
• games::heating::numeric_norton_mean_temperature
• games::heating::numeric_norton_regrade
• games::heating::overheat
• games::kernel::outcomes
• games::kernel::p_positions
• games::kernel::scoring_values
• games::lexicode::lexicode
• games::lexicode::lexicode_bounded
• games::lexicode::lexicode_naive
• games::lexicode::lexicode_turning_game
• games::lexicode::nim_lexicode_naive
• games::lexicode::nim_lexicode_naive_bounded
• games::loopy::nim_values::loopy_nim_values
• games::loopy::nim_values::loopy_nim_values_certified
• games::loopy::research::loopy_decision_sets
• games::loopy::research::loopy_quadric_probe
• games::misere::misere_is_p
• games::misere::misere_nim_p_predicted
• games::misere::misere_quotient
• games::misere::nim_canonical
• games::misere::nim_moves
• games::misere::octal_misere_quotient
• games::misere::try_misere_is_n
• games::octal::octal_moves
• games::thermography::left_stop
• games::thermography::mean_value
• games::thermography::right_stop
• games::thermography::temperature
• games::thermography::thermograph
• games::tropical_thermography::thermograph_via_tropical
• scalar::big::omnific::is_omnific_integer
• scalar::big::ordinal::ordinal_common_finite_subfield_degree
• scalar::big::ordinal::ordinal_finite_subfield_degree
• scalar::checked_factorial_i128
• scalar::factorial_in_scalar
• scalar::finite_field::nimber::nim_add
• scalar::finite_field::nimber::nim_conjugates
• scalar::finite_field::nimber::nim_degree
• scalar::finite_field::nimber::nim_discrete_log
• scalar::finite_field::nimber::nim_frobenius_iter
• scalar::finite_field::nimber::nim_inv
• scalar::finite_field::nimber::nim_is_artin_schreier_solvable
• scalar::finite_field::nimber::nim_is_primitive
• scalar::finite_field::nimber::nim_min_poly
• scalar::finite_field::nimber::nim_mul
• scalar::finite_field::nimber::nim_multiplicative_order
• scalar::finite_field::nimber::nim_pow
• scalar::finite_field::nimber::nim_primitive_element
• scalar::finite_field::nimber::nim_relative_norm
• scalar::finite_field::nimber::nim_relative_trace
• scalar::finite_field::nimber::nim_solve_artin_schreier
• scalar::finite_field::nimber::nim_sqrt
• scalar::finite_field::nimber::nim_square
• scalar::finite_field::nimber::nim_trace
• scalar::valued::tropicalize

Type Aliases

• clifford::divided_power::DpTensorKey
• clifford::spinor::SpinorRepParts
• forms::integral::TernaryCode
• forms::witt::FunctionFieldCliffordCenterInvariants
• forms::witt::FunctionFieldMilnorK2Class
• forms::witt::FunctionFieldMilnorResidues
• forms::witt::RationalMilnorK2Class

Constants

• clifford::engine::MAX_BASIS_DIM
• forms::char2::HEISENBERG_WEIL_MATRIX_RANK_CAP
• forms::integral::AUTO_NODE_BUDGET
• forms::integral::BW16_AUTOMORPHISM_GROUP_ORDER
• forms::integral::BW16_AUTOMORPHISM_INDEX_IN_CLIFFORD_GROUP
• forms::integral::BW16_CLIFFORD_ROW_DIVISOR
• forms::integral::BW16_CLIFFORD_SPINOR_DIMENSION
• forms::integral::BW16_REAL_CLIFFORD_GROUP_ORDER
• forms::integral::CODEWORD_ENUMERATION_BUDGET
• forms::integral::D16_PLUS_AUT_ORDER
• forms::integral::E8_WEYL_GROUP_ORDER
• forms::integral::LEECH_AUT_ORDER
• forms::integral::NIEMEIER_CLASSES
• games::lexicode::LEXICODE_NODE_BUDGET
• games::lexicode::LEXICODE_TURNING_GAME_NODE_BUDGET
• games::lexicode::NIM_LEXICODE_NODE_BUDGET