Return to loadpackage.kk CVS log

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

Annotation of OpenXM/src/k097/debug/loadpackage.kk, Revision 1.1.1.1

1.1       maekawa     1:
                      2:
                      3: /**Name:  yacc/debug/loadpackage.kk */
                      4: /**Date:  1997, 4/19 */
                      5:
                      6: def loadsm1(s) {
                      7:   sm1("[(parse) ",s," pushfile ] extension ");
                      8: }
                      9:
                     10: def void cppload(s) {
                     11:   local com;
                     12:   System("/bin/rm -f k00.cppload.tmp");
                     13:   com = AddString(["/lib/cpp -P -lang-c++ <",s,"  >k00.cppload.tmp"]);
                     14:   Println(com);
                     15:   System(com);
                     16:   /* load("k00.cppload.tmp"); */
                     17:   /* System("/bin/rm -f k00.cppload.tmp"); */
                     18: }
                     19:
                     20:
                     21: def diff0(f,x) {
                     22:   local dx,ans;
                     23:   if (!IsPolynomial(f)) return(Poly("0"));
                     24:   if (f == Poly("0")) return(f);
                     25:   dx = PolyR(AddString(["D",ToString(x)]),Ringp(f));
                     26:   ans = Replace(dx*f,[[dx,Poly("0")],[h,PolyR("1",Ringp(f))]]);
                     27:   return(ans);
                     28: }
                     29:
                     30: class Oaku extends Object {
                     31:   this = Oaku;  /* この this がないと, bf.sm1 の symbols は,
                     32:                    PrimitiveContextp に登録される. */
                     33:   loadsm1("/home/nobuki/SSkan/Doc/bf.sm1");
                     34:   def bf3(ff) {
                     35:     local f,g;
                     36:     sm1(" bf3_0 ");
                     37:     f = Poly(ff);
                     38:     /*  Give the generators.  t - s f(x), Dx + s Df/Dx Dt */
                     39:     g = [ t - s*f, Dx+ s*diff0(f,x)*Dt,
                     40:                    Dy+ s*diff0(f,y)*Dt,
                     41:                    Dz+ s*diff0(f,z)*Dt];
                     42:     sm1(g," bf3_1 reducedBase /FunctionValue set ");
                     43:   }
                     44: }
                     45:
                     46:
                     47: