Changeset 90934a in git for libpolys/polys/monomials/ring.h

Timestamp:

Mar 15, 2012, 7:37:03 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4d94c97313de2ce07f4bfae84308b31c1294a569

Parents:

55e2df02f4f427087fcfc2be9320bbce5142bfe9

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-03-15 19:37:03+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-03-16 19:36:35+01:00

Message:

better rEqual & rSamePolyRep

fix: they both should test the equality of coeffs directly (NOT via type & rPar/Minpoly)
fix: rEqual should use rSamePolyRep
chg: moved documentation to header in doxygen style

File:

• libpolys/polys/monomials/ring.h (modified) (1 diff)

libpolys/polys/monomials/ring.h

@@ -392 +392 @@
 int rSumInternal(ring r1, ring r2, ring &sum, BOOLEAN vartest, BOOLEAN dp_dp);
 
-BOOLEAN rEqual(ring r1, ring r2, BOOLEAN qr = 1);
+/// returns TRUE, if r1 equals r2 FALSE, otherwise Equality is
+/// determined componentwise, if qr == 1, then qrideal equality is
+/// tested, as well
+BOOLEAN rEqual(ring r1, ring r2, BOOLEAN qr = TRUE);
+
+/// returns TRUE, if r1 and r2 represents the monomials in the same way
+/// FALSE, otherwise
+/// this is an analogue to rEqual but not so strict
 BOOLEAN rSamePolyRep(ring r1, ring r2);
+
 void   rUnComplete(ring r);