Session Groebner_Bases
View
theory dependencies
View
document
View
outline
Theories
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
Regular-Sets.NDerivative
Regular-Sets.Equivalence_Checking
Regular-Sets.Relation_Interpretation
Regular-Sets.Regexp_Method
Abstract-Rewriting.Seq
Well_Quasi_Orders.Least_Enum
Well_Quasi_Orders.Infinite_Sequences
Open_Induction.Restricted_Predicates
Well_Quasi_Orders.Almost_Full
Well_Quasi_Orders.Minimal_Elements
Well_Quasi_Orders.Minimal_Bad_Sequences
Well_Quasi_Orders.Almost_Full_Relations
Polynomials.Utils
General
Polynomials.MPoly_Type
Polynomials.More_MPoly_Type
Well_Quasi_Orders.Well_Quasi_Orders
Polynomials.Power_Products
Polynomials.More_Modules
Polynomials.MPoly_Type_Class
Polynomials.MPoly_Type_Class_Ordered
Abstract-Rewriting.Abstract_Rewriting
Confluence
Reduction
Groebner_Bases
Algorithm_Schema
Buchberger
Polynomials.PP_Type
Deriving.Comparator
Polynomials.OAlist
Polynomials.OAlist_Poly_Mapping
Polynomials.Term_Order
Polynomials.MPoly_Type_Class_OAlist
Benchmarks
Algorithm_Schema_Impl
Code_Target_Rat
Buchberger_Examples
More_MPoly_Type_Class
Auto_Reduction
Reduced_GB
Reduced_GB_Examples
Polynomial_Interpolation.Ring_Hom
Jordan_Normal_Form.Missing_Misc
Jordan_Normal_Form.Missing_Ring
Jordan_Normal_Form.Conjugate
Jordan_Normal_Form.Matrix
Jordan_Normal_Form.Gauss_Jordan_Elimination
Macaulay_Matrix
F4
Polynomial_Interpolation.Missing_Unsorted
Containers.Containers_Auxiliary
Deriving.Generator_Aux
File ‹bnf_access.ML›
File ‹generator_aux.ML›
Deriving.Derive_Manager
File ‹derive_manager.ML›
Containers.Containers_Generator
File ‹containers_generator.ML›
Containers.Collection_Enum
File ‹cenum_generator.ML›
Deriving.Equality_Generator
File ‹equality_generator.ML›
Deriving.Equality_Instances
Containers.Collection_Eq
File ‹ceq_generator.ML›
Containers.Equal
Containers.DList_Set
Containers.List_Fusion
Containers.Lexicographic_Order
Containers.Extend_Partial_Order
Containers.Set_Linorder
Deriving.Comparator_Generator
File ‹comparator_generator.ML›
Deriving.Compare
File ‹compare_code.ML›
Deriving.Compare_Generator
File ‹compare_generator.ML›
Deriving.Compare_Instances
Containers.Collection_Order
File ‹ccompare_generator.ML›
Containers.RBT_ext
Deriving.RBT_Comparator_Impl
Containers.RBT_Mapping2
Containers.RBT_Set2
Containers.Closure_Set
Containers.Set_Impl
File ‹set_impl_generator.ML›
Jordan_Normal_Form.Matrix_IArray_Impl
Jordan_Normal_Form.Gauss_Jordan_IArray_Impl
F4_Examples
Syzygy
Syzygy_Examples
Polynomials.Quasi_PM_Power_Products
Polynomials.MPoly_PM
Groebner_PM