Created Augmented Chow Ring class

sagemath · Jun 23, 2024 · ad4c43c · ad4c43c
1 parent 462ce6c
commit ad4c43c
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/src/sage/matroids/chow_ring.py b/src/sage/matroids/chow_ring.py
@@ -15,4 +15,17 @@ 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))     
+        return "%s/%s" % (latex.latex(self.poly_ring), latex.latex(self._ideal))  
+
+class AugmentedChowRing(QuotientRing_nc, category=GradedAlgebrasWithBasis):
+    def __init__(self, R, M):
+        self._matroid = M
+        self._ideal = AugmentedChowRingIdeal(M, R)
+        self.poly_ring = self._ideal.poly_ring
+        QuotientRing_nc.__init__(R, self._ideal, names=self.poly_ring.variable_names, category=GradedAlgebrasWithBasis)
+
+    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))