44from sage .categories .graded_algebras_with_basis import GradedAlgebrasWithBasis
55import sage .misc .latex as latex
66
7+ #chow rings class needs to be written properly
8+ #gens of chow ring ideal must be debugged
9+ #gb must be a poly sequence
10+ #commented and documented
11+ #use is_groebner()
12+ #matroids - try all of them
13+
14+
715class ChowRing (QuotientRing_nc ):
8- def __init__ (self , R , M ):
16+ def __init__ (self , R , M , augmented ):
917 self ._matroid = M
10- self ._ideal = ChowRingIdeal (M , R )
11- self .poly_ring = self ._ideal .poly_ring
12- QuotientRing_nc .__init__ (self , R = R , I = self ._ideal , names = self .poly_ring .variable_names , category = GradedAlgebrasWithBasis )
18+ self ._augmented = augmented
19+ if augmented :
20+ self ._ideal = AugmentedChowRingIdeal (M , R )
21+ else :
22+ self ._ideal = ChowRingIdeal (M , R ) #check method to get ring
23+ QuotientRing_nc .__init__ (self , R = self ._ideal .poly_ring , I = self ._ideal , names = self .poly_ring .variable_names (), category = GradedAlgebrasWithBasis (R ))
1324
14- def _repr_short (self ):
25+ def _repr_ (self ):
1526 return "Chow ring of {}" .format (self ._matroid )
1627
1728 def _latex_ (self ):
1829 return "%s/%s" % (latex .latex (self .poly_ring ), latex .latex (self ._ideal ))
1930
20- class AugmentedChowRing (QuotientRing_nc ):
21- def __init__ (self , R , M ):
22- self ._matroid = M
23- self ._ideal = AugmentedChowRingIdeal (M , R )
24- self .poly_ring = self ._ideal .poly_ring
25- QuotientRing_nc .__init__ (self , R , self ._ideal , names = self .poly_ring .variable_names , category = GradedAlgebrasWithBasis )
26-
27- def _repr_short (self ):
28- return "Chow ring of {}" .format (self ._matroid )
29-
30- def _latex_ (self ):
31- return "%s/%s" % (latex .latex (self .poly_ring ), latex .latex (self ._ideal ))
0 commit comments