Changeset 028192 in git for libpolys/polys/nc

Timestamp:

Mar 31, 2011, 7:37:45 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

ccd3333fa9eb4f770c3cca33d5e125c9565938ec

Parents:

3f2fb2cdc5019bbfc97d4fa27121402be181a8a3

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-03-31 19:37:45+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:04:17+01:00

Message:

FIX: p_polys.cc, ring.cc (mostly NC-stuff + ideals/matrices/numbers)

Location:

libpolys/polys/nc

Files:

• gring.h (modified) (6 diffs)
• nc.h (modified) (2 diffs)

libpolys/polys/nc/gring.h

@@ -16 +16 @@
 #include <kernel/matpol.h>
 
-// the part, related to the interface
-// Changes r, Assumes that all other input belongs to curr
-BOOLEAN nc_CallPlural(matrix cc, matrix dd, poly cn, poly dn, ring r,
-                      bool bSetupQuotient = false,
-                      bool bCopyInput = true,
-                      bool bBeQuiet = false,
-                      ring curr = currRing,
-                      bool dummy_ring = false 
-                      /* allow to create a nc-ring with 1 variable*/);
-
 // BOOLEAN nc_CheckOrdCondition(matrix D, ring r);
 // BOOLEAN nc_CheckOrdCondition(ring r); // with D == r->GetNC()->D
@@ -41 +31 @@
 // this should be used by p_ProcsSet in p_Procs_Set.h
 void nc_p_ProcsSet(ring rGR, p_Procs_s* p_Procs);
-
-// this function should be used inside QRing definition!
-// we go from rG into factor ring rGR with factor ideal rGR->qideal.
-bool nc_SetupQuotient(ring rGR, const ring rG = NULL, bool bCopy = false); // rG == NULL means that there is no base G-algebra
 
 
@@ -52 +38 @@
 ring nc_rCreateNCcomm(ring r); 
 
-void nc_rKill(ring r); // complete destructor
-
-BOOLEAN nc_rComplete(const ring src, ring dest, bool bSetupQuotient = true); // in ring.cc
-
-bool nc_rCopy(ring res, const ring r, bool bSetupQuotient);
-
 
 // poly _gnc_p_Mult_q(poly p, poly q, const int copy, const ring r);
@@ -65 +45 @@
 poly _nc_pp_Mult_qq(const poly p, const poly q, const ring r);
 
-
-/* subst: */
-poly nc_pSubst(poly p, int n, poly e);
 
 /* copy : */
@@ -93 +70 @@
 
 poly p_CopyEmbed(poly p, ring srcRing, int shift, int par_shift);
-poly pOppose(ring Rop, poly p);
-ideal idOppose(ring Rop, ideal I);
 
 
@@ -243 +218 @@
 
 
-// Macros used to access upper triangle matrices C,D... (which are actually ideals) // afaik
-#define UPMATELEM(i,j,nVar) ( (nVar * ((i)-1) - ((i) * ((i)-1))/2 + (j)-1)-(i) )
 
 

libpolys/polys/nc/nc.h

@@ -37 +37 @@
 // //////////////////////////////////////////////////////
 
+// Macros used to access upper triangle matrices C,D... (which are actually ideals) // afaik
+#define UPMATELEM(i,j,nVar) ( (nVar * ((i)-1) - ((i) * ((i)-1))/2 + (j)-1)-(i) )
+
+/// complete destructor
+void nc_rKill(ring r);
 
 
@@ -303 +308 @@
 
 
+// the part, related to the interface
+// Changes r, Assumes that all other input belongs to curr
+BOOLEAN nc_CallPlural(matrix cc, matrix dd, poly cn, poly dn, ring r,
+                      bool bSetupQuotient, //< false
+                      bool bCopyInput, //< true
+                      bool bBeQuiet, //< false
+                      ring curr,
+                      bool dummy_ring = false 
+                      /* allow to create a nc-ring with 1 variable*/);
+
+
+BOOLEAN nc_rComplete(const ring src, ring dest, bool bSetupQuotient = true); // in ring.cc
+
+// this function should be used inside QRing definition!
+// we go from rG into factor ring rGR with factor ideal rGR->qideal.
+bool nc_SetupQuotient(ring rGR, const ring rG = NULL, bool bCopy = false); // rG == NULL means that there is no base G-algebra
+
+
+bool nc_rCopy(ring res, const ring r, bool bSetupQuotient);
+
+poly pOppose(ring Rop_src, poly p, const ring Rop_dst);
+ideal idOppose(ring Rop_src, ideal I, const ring Rop_dst);
+
 #endif /* HAVE_PLURAL */