Changeset c7aad0 in git for libpolys/polys/nc/nc.h

Timestamp:

Sep 27, 2011, 6:04:08 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c14846c48e3ff9e4167bc71fd6c4c4cf2f7d6e03

Parents:

a0a9f0d6ddf91bf97a108e81a1b1415c0ad58615

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-09-27 18:04:08+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:13:38+01:00

Message:

FIX: non-commutative (left) GB should now work.
NOTE: SCA was disabled with this!

File:

• libpolys/polys/nc/nc.h (modified) (4 diffs)

libpolys/polys/nc/nc.h

@@ -16 +16 @@
 class ip_smatrix;
 typedef ip_smatrix *       matrix;
-
-class skStrategy;
-typedef skStrategy * kStrategy;
 
 
@@ -62 +59 @@
 
 
-typedef ideal (*GB_Proc_Ptr)(const ideal F, const ideal Q, const intvec *w, const intvec *hilb, kStrategy strat, const ring r);
-
 typedef poly (*SPoly_Proc_Ptr)(const poly p1, const poly p2, const ring r);
 typedef poly (*SPolyReduce_Proc_Ptr)(const poly p1, poly p2, const ring r);
@@ -80 +75 @@
   SPoly_Proc_Ptr                        SPoly;
   SPolyReduce_Proc_Ptr                  ReduceSPoly;
-
-  GB_Proc_Ptr                           GB;
-//                                         GlobalGB, // BBA
-//                                         LocalGB;  // MORA
 };
 
@@ -321 +312 @@
 }
 
-static inline ideal nc_GB(const ideal F, const ideal Q, const intvec *w, const intvec *hilb, kStrategy strat, const ring r)
-{
-  assume(rIsPluralRing(r));
-
-  assume(r->GetNC()->p_Procs.GB!=NULL);
-  return r->GetNC()->p_Procs.GB(F, Q, w, hilb, strat, r);
-}
-
-
 
 /* subst: */