Changeset 33b509 in git for Singular/LIB/realrad.lib

Timestamp:

Apr 19, 2013, 2:38:03 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

22e3134afb81884aef15d1f3b49ff6ef6322659e

Parents:

cff10c64147241f376fb39f6cafde4855e321f2c

Message:

fix: readlrad.lib without timeStd (does not work yet for extensios)

File:

• Singular/LIB/realrad.lib (modified) (5 diffs)

Singular/LIB/realrad.lib

@@ -109 +109 @@
   }
   id=intersect(reddim[1..(siz+1)]);
-  id=timeStd(id,301);//simplify the output
+  //id=timeStd(id,301);//simplify the output
+  id=interred(id); // timeStd does not work yet
   setring r;
   id=imap(ri,id);
@@ -160 +161 @@
  setring r;
  i=imap(neu,i);
- i=timeStd(i,301);
+ //i=timeStd(i,301);
+ i=interred(i); // timeStd does not work yet
  return(i);
 }
@@ -244 +246 @@
    j=intersect(j,boeser);
  }
- j=timeStd(j,301);
+ //j=timeStd(j,301);
+ j=interred(j); // timeStd does not work yet
  setring r_alt;
  j=fetch(r_neu,j);
@@ -380 +383 @@
      //going back
      buffer[l]=psi(trans);
-     buffer[l]=timeStd(buffer[l],301);//timelimit for std computation
+     //buffer[l]=timeStd(buffer[l],301);//timelimit for std computation
+     buffer[l]=interred(buffer[l]);//timeStd does not work yet
    }
  }
@@ -427 +431 @@
      }
      i=intersect(pr[1..m]);
-     i=timeStd(i,301);
+     //i=timeStd(i,301);
+     i=interred(i);//timeStd does not work yet
      list realmin=minreal+list(i);
      return(realmin);