Changeset 7245240 in git for kernel/kutil.h

Timestamp:

Jul 9, 2008, 10:26:30 AM (16 years ago)

Author:

Oliver Wienand <wienand@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

7739c953f47596b385dcf31bc6786a1e3ac94590

Parents:

c9c60f894de6f136a5e83377562698e0806b77c5

Message:

stratChangeTailRing für gcd/strong polys


git-svn-id: file:///usr/local/Singular/svn/trunk@10853 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/kutil.h (modified) (2 diffs)

kernel/kutil.h

@@ -4 +4 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kutil.h,v 1.36 2008-07-04 16:17:15 motsak Exp $ */
+/* $Id: kutil.h,v 1.37 2008-07-09 08:26:30 wienand Exp $ */
 /*
 * ABSTRACT: kernel: utils for kStd
@@ -604 +604 @@
 //      FALSE, otherwise
 BOOLEAN kCheckSpolyCreation(LObject* L, kStrategy strat, poly &m1, poly &m2);
+#ifdef HAVE_RINGS
+// return TRUE if gcdpoly creation of R[atR] and S[atS] does not violate
+//             exponent bound of strat->tailRing
+//      FALSE, otherwise
+BOOLEAN kCheckStrongCreation(int atR, poly m1, int atS, poly m2, kStrategy strat);
+#endif
 // change strat->tailRing and adjust all data in strat, L, and T:
 // new tailRing has larger exponent bound