added is_commutative_ring -> false for FreeAlgebra

mahrud · Oct 30, 2024 · ff27a72 · ff27a72
1 parent 490000a
commit ff27a72
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/M2/Macaulay2/e/M2FreeAlgebra.hpp b/M2/Macaulay2/e/M2FreeAlgebra.hpp
@@ -50,6 +50,7 @@ class M2FreeAlgebraOrQuotient : public Ring
   virtual const M2FreeAlgebraOrQuotient * cast_to_M2FreeAlgebraOrQuotient()  const { return this; }
   virtual       M2FreeAlgebraOrQuotient * cast_to_M2FreeAlgebraOrQuotient()        { return this; }
 
+  bool is_commutative_ring() const { return false; }
 };
 
 class M2FreeAlgebra : public M2FreeAlgebraOrQuotient

diff --git a/M2/Macaulay2/e/M2FreeAlgebraQuotient.hpp b/M2/Macaulay2/e/M2FreeAlgebraQuotient.hpp
@@ -45,7 +45,9 @@ class M2FreeAlgebraQuotient : public M2FreeAlgebraOrQuotient
 
   int numVars() const { return monoid().numVars(); }
   int n_vars() const { return numVars(); }
-
+
+  bool is_quotient_ring() const { return true; }
+
   // these are all the functions from Ring that must exist for M2FreeAlgebraQuotient to be instantiated
   virtual int index_of_var(const ring_elem a) const;