From 529bb10b3554082242c4a19f7dc053a9c2031575 Mon Sep 17 00:00:00 2001 From: Shriya M <25shriya@gmail.com> Date: Wed, 26 Jun 2024 15:21:36 +0530 Subject: [PATCH] Debugged __init__() function of Chow ring class --- src/sage/matroids/chow_ring.py | 33 ++++++++++++++++----------------- 1 file changed, 16 insertions(+), 17 deletions(-) diff --git a/src/sage/matroids/chow_ring.py b/src/sage/matroids/chow_ring.py index 7af728f2c71..d4b817564a2 100644 --- a/src/sage/matroids/chow_ring.py +++ b/src/sage/matroids/chow_ring.py @@ -4,28 +4,27 @@ from sage.categories.graded_algebras_with_basis import GradedAlgebrasWithBasis import sage.misc.latex as latex +#chow rings class needs to be written properly +#gens of chow ring ideal must be debugged +#gb must be a poly sequence +#commented and documented +#use is_groebner() +#matroids - try all of them + + class ChowRing(QuotientRing_nc): - def __init__(self, R, M): + def __init__(self, R, M, augmented): self._matroid = M - self._ideal = ChowRingIdeal(M, R) - self.poly_ring = self._ideal.poly_ring - QuotientRing_nc.__init__(self, R=R, I=self._ideal, names=self.poly_ring.variable_names, category=GradedAlgebrasWithBasis) + self._augmented = augmented + if augmented: + self._ideal = AugmentedChowRingIdeal(M, R) + else: + self._ideal = ChowRingIdeal(M, R) #check method to get ring + QuotientRing_nc.__init__(self, R=self._ideal.poly_ring, I=self._ideal, names=self.poly_ring.variable_names(), category=GradedAlgebrasWithBasis(R)) - def _repr_short(self): + def _repr_(self): return "Chow ring of {}".format(self._matroid) def _latex_(self): return "%s/%s" % (latex.latex(self.poly_ring), latex.latex(self._ideal)) -class AugmentedChowRing(QuotientRing_nc): - def __init__(self, R, M): - self._matroid = M - self._ideal = AugmentedChowRingIdeal(M, R) - self.poly_ring = self._ideal.poly_ring - QuotientRing_nc.__init__(self, R, self._ideal, names=self.poly_ring.variable_names, category=GradedAlgebrasWithBasis) - - def _repr_short(self): - return "Chow ring of {}".format(self._matroid) - - def _latex_(self): - return "%s/%s" % (latex.latex(self.poly_ring), latex.latex(self._ideal)) \ No newline at end of file