OpenXM/src/k097/lib/restriction/demo.k - diff

Return to demo.k CVS log

Up to [local] / OpenXM / src / k097 / lib / restriction

-version 1.4, 2000/12/27 10:16:13
+version 1.5, 2000/12/28 00:08:14
 Line 1
 Line 1
 Line 1
- /* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.3 2000/12/27 08:09:27 takayama Exp $  */
+ /* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.4 2000/12/27 10:16:13 takayama Exp $  */
  load["restriction.k"];;
  load("../ox/ox.k");;
 Line 43  def asir_generic_bfct(a,ii,vv,dd,ww) {
 Line 43  def asir_generic_bfct(a,ii,vv,dd,ww) {
 Line 43  def asir_generic_bfct(a,ii,vv,dd,ww) {
     asir_generic_bfct(a,[Dx^2+Dy^2-1,Dx*Dy-4],[x,y],[Dx,Dy],[1,1]): */
  /* usage: misc/tmp/complex-ja.texi */
- def changeRing(F) {
+ def changeRing(f) {
-   local n,i,f;
+   local r;
-   if (IsArray(F)) {
+   r = GetRing(f);
-     n = Length(F);
+   if (Tag(r) == 14) {
-     for (i=0; i<n; i++) {
+     SetRing(r);
-       if (IsArray(F[i])) {
+     return(true);
-          if (changeRing(F)) return(true);
+   }else{
-       }else if (IsPolynomial(F[i])) {
+     return(false);
-          if (F[i] != Poly("0")) {
-             f = F[i];
-             sm1(" f (ring) dc ring_def ");
-             return(true);
-          }
-       }
-     }
-   }else if (IsPolynomial(F)) {
-      if (F != Poly("0")) {
-         sm1(" F (ring) dc ring_def ");
-         return(true);
-      }
    }
-   return(false);
  }
  def asir_BfRoots2(G) {