Return to all.k CVS log | Up to [local] / OpenXM / src / k097 / lib |
1.1 ! takayama 1: /* $OpenXM$ */ ! 2: /* Call this module with load["lib/all.k"];; ! 3: */ ! 4: ! 5: NoX=1; ! 6: load["lib/restriction/restriction.k"];; ! 7: load("lib/ox/ox.k");; ! 8: load["lib/restriction/deRham.k"];; ! 9: