commalg API

Residue, polynomial, rational-function, quotient, and power-series rings together with ideals, schemes, local algebra, and intersection theory.

1486 accepted Rust-owned Python declarations. Choose a type or module-functions page for signatures, guarantees, examples, and direct rustdoc links.

• AffineNormalization

  23 declarations

• AffineSpace

  9 declarations

• ArithmeticFiberSupport

  14 declarations

• ArithmeticNullstellensatzCertificate

  12 declarations

• AssociatedGradedAlgebra

  8 declarations

• AssociatedPrimeExtStage

  9 declarations

• AssociatedPrimeSet

  10 declarations

• BlowUp

  9 declarations

• BlowUpChart

  12 declarations

• ChowClass

  17 declarations

• ChowRing

  15 declarations

• CompleteIntersectionHypotheses

  1 declarations

• ConormalSequenceEvidence

  10 declarations

• CotangentComplexAmplitude

  3 declarations

• CotangentComplexHypothesis

  5 declarations

• CotangentComplexPresentation

  12 declarations

• CotangentSpace

  14 declarations

• CrtDecomposition

  8 declarations

• Curve

  14 declarations

• CurveClosedPoint

  8 declarations

• CurveFunction

  24 declarations

• CurveFunctionEvaluation

  4 declarations

• CurveFunctionField

  17 declarations

• CurveFunctionOrder

  3 declarations

• CurveMorphism

  9 declarations

• CurvePoint

  7 declarations

• CyclicCoverSmoothnessEvidence

  5 declarations

• CyclicHypersurfaceCover

  12 declarations

• Degree

  9 declarations

• DivisorRankLowerBound

  7 declarations

• EquidimensionalHull

  11 declarations

• EquidimensionalRadicalComponent

  8 declarations

• EquidimensionalRadicalDecomposition

  9 declarations

• ExtensionPointCount

  4 declarations

• FiniteQuotientAlgebra

  14 declarations

• FiniteSchemeClosedPoint

  10 declarations

• FiniteSchemeClosedPointSet

  8 declarations

• FreeAbelianGrading

  11 declarations

• FrobeniusPolynomial

  14 declarations

• GeometricDivisorRank

  7 declarations

• GeometricDivisorRankUpperBound

  9 declarations

• GradedCommutativePolynomial

  12 declarations

• GradedCommutativePolynomialRing

  12 declarations

• GradedCommutativePresentation

  10 declarations

• GradedGenerator

  4 declarations

• GradedMonomial

  2 declarations

• GrauertRemmertStep

  20 declarations

• HilbertSeries

  7 declarations

• HirzebruchRiemannRochResult

  11 declarations

• Ideal

  54 declarations

• IdealDecomposition

  9 declarations

• IdealElimination

  7 declarations

• IdealReduction

  9 declarations

• KahlerDifferential

  13 declarations

• KahlerDifferentials

  13 declarations

• LocalCompletionMap

  10 declarations

• LocalIdeal

  13 declarations

• LocalMonomialOrder

  5 declarations

• LocalPolynomial

  14 declarations

• LocalPolynomialRing

  17 declarations

• LocalReduction

  10 declarations

• LocalStandardBasis

  14 declarations

• MinimalPrimeDecomposition

  9 declarations

• MonomialIdeal

  32 declarations

• MonomialMap

  9 declarations

• MonomialOrder

  7 declarations

• NoetherNormalization

  21 declarations

• PointCountEvidence

  13 declarations

• PointCountMethod

  1 declarations

• PointCountSequence

  8 declarations

• Polynomial

  49 declarations

• PolynomialFactorization

  8 declarations

• PolynomialHomomorphism

  11 declarations

• PolynomialPrimaryCertificate

  17 declarations

• PolynomialPrimeCertificate

  19 declarations

• PolynomialPrimeLocalElement

  14 declarations

• PolynomialPrimeLocalIdeal

  9 declarations

• PolynomialPrimeLocalMembership

  10 declarations

• PolynomialPrimeLocalization

  10 declarations

• PolynomialRing

  28 declarations

• PositiveGrading

  8 declarations

• PowerSeries

  28 declarations

• PowerSeriesRing

  15 declarations

• PrimaryDecomposition

  9 declarations

• PrimeIdeal

  12 declarations

• ProjectiveCompleteIntersection

  22 declarations

• ProjectiveSpace

  9 declarations

• QuotientElement

  16 declarations

• QuotientRing

  23 declarations

• QuotientRingMap

  9 declarations

• RadicalIdeal

  25 declarations

• RationalChowClass

  16 declarations

• RationalFunction

  23 declarations

• RationalFunctionField

  16 declarations

• RationalFunctionFieldMap

  9 declarations

• RationalPointEnumeration

  10 declarations

• RationalUnivariateRepresentation

  13 declarations

• RealRootIsolation

  16 declarations

• RealSolutionBox

  10 declarations

• ReducedAffineNormalization

  16 declarations

• ReesAlgebra

  10 declarations

• ResidueClass

  16 declarations

• ResidueRing

  9 declarations

• RiemannRochSpace

  8 declarations

• Scheme

  23 declarations

• SchemeCompletion

  9 declarations

• SchemePoint

  7 declarations

• SeriesTruncation

  14 declarations

• SmoothProjectiveSurfaceCohomology

  12 declarations

• SplitCyclicPullback

  11 declarations

• StrongGroebnerBasis

  8 declarations

• SymmetricAlgebra

  10 declarations

• TateCyclotomicFactor

  4 declarations

• WeightedGrading

  9 declarations

• WeightedHypersurfaceJacobianEvidence

  6 declarations

• WeightedProjectiveChart

  7 declarations

• WeightedProjectiveHypersurface

  9 declarations

• WeightedProjectiveScheme

  8 declarations

• WeightedProjectiveSchemeChart

  3 declarations

• WeightedProjectiveSpace

  13 declarations

• WeightedProjectiveStratum

  3 declarations

• WeilDivisor

  19 declarations

• ZetaFunction

  7 declarations