File tree
1,102 files changed
+8024
-7551
lines changed- dev
- AbstractAlgebra
- assertions
- constructors
- direct_sum
- euclidean_interface
- extending_abstractalgebra
- field
- field_interface
- field_introduction
- finfield
- fraction
- fraction_interface
- free_associative_algebra
- free_module
- function_field
- functional_map
- ideal
- integer
- interface_introduction
- laurent_mpolynomial
- laurent_polynomial
- linear_solving
- map_cache
- map_interface
- map_introduction
- map_with_inverse
- matrix
- matrix_algebras
- matrix_interface
- matrix_introduction
- misc
- module
- module_homomorphism
- module_interface
- module_introduction
- mpoly_interface
- mpolynomial
- mseries
- ncpolynomial
- ncring_interface
- perm
- poly_interface
- polynomial
- puiseux
- quotient_module
- rand
- rational
- real
- residue
- residue_interface
- ring
- ring_interface
- ring_introduction
- series
- series_interface
- submodule
- total_fraction
- types
- univpolynomial
- visualizing_types
- ytabs
- AlgebraicGeometry
- AlgebraicSets
- AffineAlgebraicSet
- ProjectiveAlgebraicSet
- AlgebraicVarieties
- AffineVariety
- ProjectiveVariety
- Curves
- AffinePlaneCurves
- ParametrizationPlaneCurves
- ProjectiveCurves
- ProjectivePlaneCurves
- FrameWorks/ArchitectureOfAffineSchemes
- Miscellaneous/miscellaneous
- Schemes
- AffineSchemes
- CoveredSchemeMorphisms
- CoveredSchemes
- CoveringsAndGluings
- Cycles
- GeneralSchemes
- MorphismsOfAffineSchemes
- MorphismsOfProjectiveSchemes
- ProjectiveSchemes
- RationalPointsAffine
- RationalPointsProjective
- Sheaves
- intro
- SheafCohomology/sheaf_cohomology
- Surfaces
- AdjunctionProcess
- EllipticSurface
- K3Surfaces
- ParametrizationSurfaces
- SurfacesP4
- duValSing
- ToricVarieties
- AlgebraicCycles
- BlowupMorphisms
- CohomologyClasses
- CyclicQuotientSingularities
- NormalToricVarieties
- Subvarieties
- ToricDivisorClasses
- ToricDivisors
- ToricIdealSheaves
- ToricLineBundles
- ToricMorphisms
- ToricSchemes
- cohomCalg
- intro
- intro
- Combinatorics
- EnumerativeCombinatorics
- compositions
- partitions
- schur_polynomials
- tableaux
- graphs
- intro
- matroids
- phylogenetic_trees
- simplicialcomplexes
- CommutativeAlgebra
- FrameWorks
- module_localizations
- ring_localizations
- GroebnerBases
- groebner_bases
- groebner_bases_integers
- orderings
- Miscellaneous/binomial_ideals
- ModulesOverMultivariateRings
- complexes
- free_modules
- hom_operations
- ideals_quorings_as_modules
- intro
- module_operations
- subquotients
- affine_algebras
- homological_algebra
- ideals
- intro
- localizations
- rings
- DeveloperDocumentation
- AbstractCollection
- SubObjectIterator
- caching
- debugging
- design_decisions
- documentation
- gap_integration
- new_developers
- printing_details
- release
- serialization
- styleguide
- Experimental
- AlgebraicShifting
- exterior_shifting
- introduction
- partial_shift_graph
- AlgebraicStatistics
- ci
- gaussian_graphical_models
- graphical_models
- introduction
- markov
- phylogenetics
- BasisLieHighestWeight
- introduction
- user_functions
- DoubleAndHyperComplexes
- advice_for_the_programmer
- user_interface
- FTheoryTools
- g4
- generalities
- hypersurface
- introduction
- literature
- tate
- weierstrass
- GroebnerWalk
- introduction
- special-ideals
- IntersectionTheory
- AbstractBundles
- AbstractVarieties
- AbstractVarietyMaps
- BlowUps
- BottFormulas
- examples
- intro
- schubert
- LieAlgebras
- ideals_and_subalgebras
- introduction
- lie_algebra_homs
- lie_algebras
- module_homs
- modules
- weyl_groups_experimental
- LinearQuotients
- cox_rings
- introduction
- linear_quotients
- MatroidRealizationSpaces/introduction
- OrthogonalDiscriminants
- access
- compute
- introduction
- misc
- PartitionedPermutations/introduction
- QuadFormAndIsom
- enumeration
- introduction
- latwithisom
- primembed
- spacewithisom
- Singularities
- intro
- space_germs
- StandardFiniteFields/introduction
- intro
- Fields
- algebraic_closure_fp
- intro
- General
- architecture
- complex
- faq
- other
- serialization
- Groups
- action
- autgroup
- basics
- fpgroup
- group_characters
- grouphom
- grouplib
- intro
- matgroup
- pcgroup
- permgroup
- products
- quotients
- recog
- subgroups
- tom
- Hecke
- examples
- howto
- reduction
- manual
- abelian
- elements
- introduction
- maps
- structural
- algebras
- basics
- groupalgebras
- intro
- structureconstant
- developer
- documentation
- test
- elliptic_curves
- basics
- finite_fields
- intro
- number_fields
- misc
- FacElem
- conjugacy
- mset
- pmat
- sparse
- number_fields
- class_fields
- complex_embeddings
- conventions
- elements
- fields
- internal
- intro
- orders
- elements
- frac_ideals
- ideals
- introduction
- orders
- quad_forms
- Zgenera
- basics
- discriminant_group
- genusherm
- integer_lattices
- introduction
- lattices
- start
- tutorials
- InvariantTheory
- finite_groups
- intro
- reductive_groups
- tori
- LieTheory
- cartan_matrix
- intro
- root_systems
- weight_lattices
- weyl_groups
- LinearAlgebra/intro
- Nemo
- about
- acb
- algebraic
- arb
- complex
- constructors
- developer
- conventions
- interfaces
- introduction
- parents
- topics
- typesystem
- exact
- factor
- ff_embedding
- finitefield
- fraction
- gfp
- integer
- matrix
- misc
- mpolynomial
- numberfield
- padic
- polynomial
- puiseux
- qadic
- rational
- real
- residue
- series
- types
- NoncommutativeAlgebra
- PBWAlgebras
- creation
- ideals
- intro
- quotients
- free_associative_algebra
- intro
- NumberTheory
- abelian_closure
- galois
- intro
- vinberg
- PolyhedralGeometry
- Polyhedra
- auxiliary
- constructions
- intro
- polymake
- cones
- fans
- intro
- linear_programs
- mixed_integer_linear_programs
- polyhedral_complexes
- subdivisions_of_points
- Rings
- integer
- intro
- rational
- StraightLinePrograms
- abstractalgebra
- gapslps
- intro
- TropicalGeometry
- curve
- groebner_theory
- hypersurface
- intro
- linear_space
- semiring
- semiring_map
- tropicalization
- variety
- manualindex
- references
- previews
- PR4108
- AbstractAlgebra
- assertions
- constructors
- direct_sum
- euclidean_interface
- extending_abstractalgebra
- field
- field_interface
- field_introduction
- finfield
- fraction
- fraction_interface
- free_associative_algebra
- free_module
- function_field
- functional_map
- ideal
- integer
- interface_introduction
- laurent_mpolynomial
- laurent_polynomial
- linear_solving
- map_cache
- map_interface
- map_introduction
- map_with_inverse
- matrix
- matrix_algebras
- matrix_interface
- matrix_introduction
- misc
- module
- module_homomorphism
- module_interface
- module_introduction
- mpoly_interface
- mpolynomial
- mseries
- ncpolynomial
- ncring_interface
- perm
- poly_interface
- polynomial
- puiseux
- quotient_module
- rand
- rational
- real
- residue
- residue_interface
- ring
- ring_interface
- ring_introduction
- series
- series_interface
- submodule
- total_fraction
- types
- univpolynomial
- visualizing_types
- ytabs
- AlgebraicGeometry
- AlgebraicSets
- AffineAlgebraicSet
- ProjectiveAlgebraicSet
- AlgebraicVarieties
- AffineVariety
- ProjectiveVariety
- Curves
- AffinePlaneCurves
- ParametrizationPlaneCurves
- ProjectiveCurves
- ProjectivePlaneCurves
- FrameWorks/ArchitectureOfAffineSchemes
- Miscellaneous/miscellaneous
- Schemes
- AffineSchemes
- CoveredSchemeMorphisms
- CoveredSchemes
- CoveringsAndGluings
- Cycles
- GeneralSchemes
- MorphismsOfAffineSchemes
- MorphismsOfProjectiveSchemes
- ProjectiveSchemes
- RationalPointsAffine
- RationalPointsProjective
- Sheaves
- intro
- SheafCohomology/sheaf_cohomology
- Surfaces
- AdjunctionProcess
- EllipticSurface
- K3Surfaces
- ParametrizationSurfaces
- SurfacesP4
- duValSing
- ToricVarieties
- AlgebraicCycles
- BlowupMorphisms
- CohomologyClasses
- CyclicQuotientSingularities
- NormalToricVarieties
- Subvarieties
- ToricDivisorClasses
- ToricDivisors
- ToricIdealSheaves
- ToricLineBundles
- ToricMorphisms
- ToricSchemes
- cohomCalg
- intro
- intro
- Combinatorics
- EnumerativeCombinatorics
- compositions
- partitions
- schur_polynomials
- tableaux
- graphs
- intro
- matroids
- phylogenetic_trees
- simplicialcomplexes
- CommutativeAlgebra
- FrameWorks
- module_localizations
- ring_localizations
- GroebnerBases
- groebner_bases
- groebner_bases_integers
- orderings
- Miscellaneous/binomial_ideals
- ModulesOverMultivariateRings
- complexes
- free_modules
- hom_operations
- ideals_quorings_as_modules
- intro
- module_operations
- subquotients
- affine_algebras
- homological_algebra
- ideals
- intro
- localizations
- rings
- DeveloperDocumentation
- AbstractCollection
- SubObjectIterator
- caching
- debugging
- design_decisions
- documentation
- gap_integration
- new_developers
- printing_details
- release
- serialization
- styleguide
- Experimental
- AlgebraicShifting
- exterior_shifting
- introduction
- partial_shift_graph
- AlgebraicStatistics
- ci
- gaussian_graphical_models
- graphical_models
- introduction
- markov
- phylogenetics
- BasisLieHighestWeight
- introduction
- user_functions
- DoubleAndHyperComplexes
- advice_for_the_programmer
- user_interface
- FTheoryTools
- g4
- generalities
- hypersurface
- introduction
- literature
- tate
- weierstrass
- GroebnerWalk
- introduction
- special-ideals
- IntersectionTheory
- AbstractBundles
- AbstractVarieties
- AbstractVarietyMaps
- BlowUps
- BottFormulas
- examples
- intro
- schubert
- LieAlgebras
- cartan_matrix
- ideals_and_subalgebras
- introduction
- lie_algebra_homs
- lie_algebras
- module_homs
- modules
- root_systems
- weight_lattices
- weyl_groups
- weyl_groups_experimental
- LinearQuotients
- cox_rings
- introduction
- linear_quotients
- MatroidRealizationSpaces/introduction
- OrthogonalDiscriminants
- access
- compute
- introduction
- misc
- PartitionedPermutations/introduction
- QuadFormAndIsom
- enumeration
- introduction
- latwithisom
- primembed
- spacewithisom
- Singularities
- intro
- space_germs
- StandardFiniteFields/introduction
- intro
- Fields
- algebraic_closure_fp
- intro
- General
- architecture
- complex
- faq
- other
- serialization
- Groups
- action
- autgroup
- basics
- fpgroup
- group_characters
- grouphom
- grouplib
- intro
- matgroup
- pcgroup
- permgroup
- products
- quotients
- recog
- subgroups
- tom
- Hecke
- .vitepress
- theme
- examples
- howto
- reduction
- manual
- abelian
- elements
- introduction
- maps
- structural
- algebras
- basics
- groupalgebras
- intro
- structureconstant
- developer
- documentation
- test
- elliptic_curves
- basics
- finite_fields
- intro
- number_fields
- misc
- FacElem
- conjugacy
- mset
- pmat
- sparse
- number_fields
- class_fields
- complex_embeddings
- conventions
- elements
- fields
- internal
- intro
- orders
- elements
- frac_ideals
- ideals
- introduction
- orders
- quad_forms
- Zgenera
- basics
- discriminant_group
- genusherm
- integer_lattices
- introduction
- lattices
- public
- start
- tutorials
- InvariantTheory
- finite_groups
- intro
- reductive_groups
- tori
- LieTheory
- cartan_matrix
- intro
- root_systems
- weight_lattices
- weyl_groups
- LinearAlgebra/intro
- Nemo
- about
- acb
- algebraic
- arb
- complex
- constructors
- developer
- conventions
- interfaces
- introduction
- parents
- topics
- typesystem
- exact
- factor
- ff_embedding
- finitefield
- fraction
- gfp
- integer
- matrix
- misc
- mpolynomial
- numberfield
- padic
- polynomial
- puiseux
- qadic
- rational
- real
- residue
- series
- types
- NoncommutativeAlgebra
- PBWAlgebras
- creation
- ideals
- intro
- quotients
- free_associative_algebra
- intro
- NumberTheory
- abelian_closure
- galois
- intro
- vinberg
- PolyhedralGeometry
- Polyhedra
- auxiliary
- constructions
- intro
- polymake
- cones
- fans
- intro
- linear_programs
- mixed_integer_linear_programs
- polyhedral_complexes
- subdivisions_of_points
- Rings
- integer
- intro
- rational
- StraightLinePrograms
- abstractalgebra
- gapslps
- intro
- TropicalGeometry
- curve
- groebner_theory
- hypersurface
- intro
- linear_space
- semiring
- semiring_map
- tropicalization
- variety
- manualindex
- references
- PR4417
- manualindex
- PR4441
- AbstractAlgebra
- assertions
- assets
- constructors
- direct_sum
- euclidean_interface
- extending_abstractalgebra
- field
- field_interface
- field_introduction
- finfield
- fraction
- fraction_interface
- free_associative_algebra
- free_module
- function_field
- functional_map
- ideal
- img
- integer
- interface_introduction
- laurent_mpolynomial
- laurent_polynomial
- linear_solving
- map_cache
- map_interface
- map_introduction
- map_with_inverse
- matrix
- matrix_algebras
- matrix_interface
- matrix_introduction
- misc
- module
- module_homomorphism
- module_interface
- module_introduction
- mpoly_interface
- mpolynomial
- mseries
- ncpolynomial
- ncring_interface
- perm
- poly_interface
- polynomial
- puiseux
- quotient_module
- rand
- rational
- real
- residue
- residue_interface
- ring
- ring_interface
- ring_introduction
- series
- series_interface
- submodule
- total_fraction
- types
- univpolynomial
- visualizing_types
- ytabs
- AlgebraicGeometry
- AlgebraicSets
- AffineAlgebraicSet
- ProjectiveAlgebraicSet
- AlgebraicVarieties
- AffineVariety
- ProjectiveVariety
- Curves
- AffinePlaneCurves
- ParametrizationPlaneCurves
- ProjectiveCurves
- ProjectivePlaneCurves
- FrameWorks/ArchitectureOfAffineSchemes
- Miscellaneous/miscellaneous
- Schemes
- AffineSchemes
- CoveredSchemeMorphisms
- CoveredSchemes
- CoveringsAndGluings
- Cycles
- GeneralSchemes
- MorphismsOfAffineSchemes
- MorphismsOfProjectiveSchemes
- ProjectiveSchemes
- RationalPointsAffine
- RationalPointsProjective
- Sheaves
- intro
- SheafCohomology/sheaf_cohomology
- Surfaces
- AdjunctionProcess
- EllipticSurface
- K3Surfaces
- ParametrizationSurfaces
- SurfacesP4
- duValSing
- ToricVarieties
- AlgebraicCycles
- BlowupMorphisms
- CohomologyClasses
- CyclicQuotientSingularities
- NormalToricVarieties
- Subvarieties
- ToricDivisorClasses
- ToricDivisors
- ToricIdealSheaves
- ToricLineBundles
- ToricMorphisms
- ToricSchemes
- cohomCalg
- intro
- intro
- Combinatorics
- EnumerativeCombinatorics
- compositions
- partitions
- schur_polynomials
- tableaux
- graphs
- intro
- matroids
- phylogenetic_trees
- simplicialcomplexes
- CommutativeAlgebra
- FrameWorks
- module_localizations
- ring_localizations
- GroebnerBases
- groebner_bases
- groebner_bases_integers
- orderings
- Miscellaneous/binomial_ideals
- ModulesOverMultivariateRings
- complexes
- free_modules
- hom_operations
- ideals_quorings_as_modules
- intro
- module_operations
- subquotients
- affine_algebras
- homological_algebra
- ideals
- intro
- localizations
- rings
- DeveloperDocumentation
- AbstractCollection
- SubObjectIterator
- caching
- debugging
- design_decisions
- documentation
- gap_integration
- new_developers
- printing_details
- release
- serialization
- styleguide
- Experimental
- AlgebraicShifting
- exterior_shifting
- introduction
- partial_shift_graph
- AlgebraicStatistics
- ci
- gaussian_graphical_models
- graphical_models
- introduction
- markov
- phylogenetics
- BasisLieHighestWeight
- introduction
- user_functions
- DoubleAndHyperComplexes
- advice_for_the_programmer
- user_interface
- FTheoryTools
- g4
- generalities
- hypersurface
- introduction
- literature
- tate
- weierstrass
- GroebnerWalk
- introduction
- special-ideals
- IntersectionTheory
- AbstractBundles
- AbstractVarieties
- AbstractVarietyMaps
- BlowUps
- BottFormulas
- examples
- intro
- schubert
- LieAlgebras
- ideals_and_subalgebras
- introduction
- lie_algebra_homs
- lie_algebras
- module_homs
- modules
- weyl_groups_experimental
- LinearQuotients
- cox_rings
- introduction
- linear_quotients
- MatroidRealizationSpaces/introduction
- OrthogonalDiscriminants
- access
- compute
- introduction
- misc
- PartitionedPermutations/introduction
- QuadFormAndIsom
- enumeration
- introduction
- latwithisom
- primembed
- spacewithisom
- Singularities
- intro
- space_germs
- StandardFiniteFields/introduction
- intro
- Fields
- algebraic_closure_fp
- intro
- General
- architecture
- complex
- faq
- other
- serialization
- Groups
- action
- autgroup
- basics
- fpgroup
- group_characters
- grouphom
- grouplib
- intro
- matgroup
- pcgroup
- permgroup
- products
- quotients
- recog
- subgroups
- tom
- Hecke
- .vitepress
- theme
- css
- examples
- howto
- reduction
- manual
- abelian
- elements
- introduction
- maps
- structural
- algebras
- basics
- groupalgebras
- intro
- structureconstant
- developer
- documentation
- test
- elliptic_curves
- basics
- finite_fields
- intro
- number_fields
- misc
- FacElem
- conjugacy
- mset
- pmat
- sparse
- number_fields
- class_fields
- complex_embeddings
- conventions
- elements
- fields
- internal
- intro
- orders
- elements
- frac_ideals
- ideals
- introduction
- orders
- quad_forms
- Zgenera
- basics
- discriminant_group
- genusherm
- integer_lattices
- introduction
- lattices
- public
- start
- tutorials
- InvariantTheory
- finite_groups
- intro
- reductive_groups
- tori
- LieTheory
- cartan_matrix
- intro
- root_systems
- weight_lattices
- weyl_groups
- LinearAlgebra/intro
- Nemo
- about
- acb
- algebraic
- arb
- complex
- constructors
- developer
- conventions
- img
- interfaces
- introduction
- parents
- topics
- typesystem
- exact
- factor
- ff_embedding
- finitefield
- fraction
- gfp
- img
- integer
- matrix
- misc
- mpolynomial
- numberfield
- padic
- polynomial
- puiseux
- qadic
- rational
- real
- residue
- series
- types
- NoncommutativeAlgebra
- PBWAlgebras
- creation
- ideals
- intro
- quotients
- free_associative_algebra
- intro
- NumberTheory
- abelian_closure
- galois
- intro
- vinberg
- PolyhedralGeometry
- Polyhedra
- auxiliary
- constructions
- intro
- polymake
- cones
- fans
- intro
- linear_programs
- mixed_integer_linear_programs
- polyhedral_complexes
- subdivisions_of_points
- Rings
- integer
- intro
- rational
- StraightLinePrograms
- abstractalgebra
- gapslps
- intro
- TropicalGeometry
- curve
- groebner_theory
- hypersurface
- intro
- linear_space
- semiring
- semiring_map
- tropicalization
- variety
- assets
- themes
- manualindex
- references
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
1,102 files changed
+8024
-7551
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
140 | 140 |
| |
141 | 141 |
| |
142 | 142 |
| |
143 |
| - | |
| 143 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + |
0 commit comments