CVS log for OpenXM/src/k097/lib/restriction/demo.k

Default branch: MAIN
Current tag: RELEASE_1_2_1

Revision 1.8 / (download) - annotate - [select for diffs], Thu Sep 20 00:48:17 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.7: +73 -1 lines
Diff to previous 1.7 (unified)

Experimental functions;
  Localize3WithAsir(I,f)  localize D/I along f.
  Ltest2()                testing the function above for exp(x^3-y^2).

Diffs between
and