Return to asir0.k CVS log

Up to [local] / OpenXM / src / k097 / debug

Annotation of OpenXM/src/k097/debug/asir0.k, Revision 1.1.1.1

1.1       maekawa     1:
                      2:
                      3: /* SSWork/yacc/debug/asir0.k,  1997, 3/5 cf. debug/asir1.ccc */
                      4: if (K00_verbose) {
                      5:  Println("debug/asir0.k    you need to start k0 with -f option. ");
                      6: }
                      7:
                      8: /* x = Poly("x");
                      9:    f = (x+2)^10;
                     10: Println(f); */
                     11:
                     12: def Factor(f)  {
                     13:   sm1(f, " factor /FunctionValue set");
                     14:   sm1(" clean-workfiles ");
                     15: }
                     16: HelpAdd(["Factor",[" Not Yet. <<need asir, start k0 with -f option.>>"]]);
                     17:
                     18: def Cancel(f)  {
                     19:   local tmp,den,num;
                     20:   if (IsRational(f)) {
                     21:    den = Cancel(Denominator(f));
                     22:    num = Cancel(Numerator(f));
                     23:    if (IsInteger(den) && IsInteger(num)) {
                     24:      return(CancelNumber(num/den));
                     25:    }
                     26:    if (IsInteger(den)) {
                     27:      tmp = sm1("[(divByN) ",num, den," ] gbext ");
                     28:      if (tmp[1] == Poly("0")) {
                     29:        return(Cancel(tmp[0]));
                     30:      }else{
                     31:        return(f);
                     32:      }
                     33:    }
                     34:   }
                     35:   if (IsInteger(f)) return(f);
                     36:   if (IsPolynomial(f)) {
                     37:     if (f == Poly("0")) return(0);
                     38:     if (Characteristic(Ringp(f)) != 0) return(f);
                     39:     if (IsConstant(f)) return(DC(f,"integer"));
                     40:     return(f);
                     41:   }
                     42:   sm1(f," cancel /FunctionValue set");
                     43:   sm1(" clean-workfiles ");
                     44: }
                     45: HelpAdd(["Cancel",[" Not Yet. <<need asir, start k0 with -f option>>"]]);
                     46:
                     47:
                     48:
                     49: def Primadec(f,g)  {
                     50:   sm1(f,g," primadec /FunctionValue set");
                     51:   sm1(" clean-workfiles ");
                     52: }
                     53: HelpAdd(["Primadec",[" Not Yet. <<need asir, start k0 with -f option.>>"]]);
                     54:
                     55:
                     56: