Changeset 1e1ec4 in git for Singular/LIB/symodstd.lib

Timestamp:

Jan 4, 2013, 5:54:18 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

42ea852aa2e1e683808b1ac3305dda96677af761

Parents:

8f296a6216092a84f1ebb509dbcda5fe428004f7

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-01-04 17:54:18+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-01-15 20:41:56+01:00

Message:

Updated LIBs according to master

add: new LIBs from master
fix: updated LIBs due to minpoly/(de)numerator changes
fix: -> $Id$
fix: Fixing wrong rebase of SW on master (LIBs)

File:

• Singular/LIB/symodstd.lib (modified) (6 diffs)

Singular/LIB/symodstd.lib

@@ -34 +34 @@
 LIB "modstd.lib";
 LIB "parallel.lib";
-
-////////////////////////////////////////////////////////////////////////////////
-
-static proc mixedTest()
-"USAGE:  mixedTest();
-RETURN:  1 if ordering of basering is mixed, 0 else
-EXAMPLE: example mixedTest(); shows an example
-"
-{
-   int i,p,m;
-   for(i = 1; i <= nvars(basering); i++)
-   {
-      if(var(i) > 1)
-      {
-         p++;
-      }
-      else
-      {
-         m++;
-      }
-   }
-   if((p > 0) && (m > 0)) { return(1); }
-   return(0);
-}
-example
-{ "EXAMPLE:"; echo = 2;
-   ring R1 = 0,(x,y,z),dp;
-   mixedTest();
-   ring R2 = 31,(x(1..4),y(1..3)),(ds(4),lp(3));
-   mixedTest();
-   ring R3 = 181,x(1..9),(dp(5),lp(4));
-   mixedTest();
-}
 
 ////////////////////////////////////////////////////////////////////////////////
@@ -561 +528 @@
    if((CHAR == 0) && (ORD > 2))
    {
-      def S = changechar("0,p");
+      def save_ring=basering;
+      ring ext_ring=0,p,lp;
+      def S = changechar(ringlist(ext_ring),save_ring);
       setring S;
+      kill ext_ring;
+      kill save_ring;
       minpoly = rootofUnity(ORD);
       ideal I = imap(R, I);
@@ -971 +942 @@
    if(variant == 4)
    {
-      def R1 = changeord("dp");
+      def R1 = changeord(list(list("dp",1:nvars(basering))));
       setring R1;
       ideal i = fetch(@r,i);
@@ -1155 +1126 @@
          def @r = ring(rl);
          setring @r;
-         def @s = changeord("dp");
+         def @s = changeord(list(list("dp",1:nvars(basering))));
          setring @s;
          ideal I = std(fetch(R0,I));
@@ -1195 +1166 @@
                setring @r;
 
-               def @s = changeord("dp");
+               def @s = changeord(list(list("dp",1:nvars(basering))));
                setring @s;
                ideal I = std(fetch(R0,I));
@@ -1242 +1213 @@
          def @r = ring(rl);
          setring @r;
-         def @s = changeord("dp");
+         def @s = changeord(list(list("dp",1:nvars(basering))));
          setring @s;
          ideal I = std(fetch(R0,I));