CVS log for OpenXM/src/OpenMath/elimi.java

Default branch: MAIN

I made elimi.java to execute ox_sm1 automatically.

Revision 1.8 / (download) - annotate - [select for diffs], Sun Jan 28 19:17:23 2001 UTC (23 years, 9 months ago) by tam
Branch: MAIN
Changes since 1.7: +4 -3 lines
Diff to previous 1.7 (colored) to selected 1.1 (colored)

This change is test for executing ox server from Java.

Revision 1.7 / (download) - annotate - [select for diffs], Wed Oct 11 09:34:06 2000 UTC (24 years, 1 month ago) by ohara
Branch: MAIN
CVS Tags: maekawa-ipv6
Changes since 1.6: +2 -2 lines
Diff to previous 1.6 (colored) to selected 1.1 (colored)

An import path is fixed.

Revision 1.6 / (download) - annotate - [select for diffs], Wed Oct 11 08:32:13 2000 UTC (24 years, 1 month ago) by ohara
Branch: MAIN
Changes since 1.5: +6 -6 lines
Diff to previous 1.5 (colored) to selected 1.1 (colored)

I have replaced all stdout by stderr, that is,
System.out.println ==> System.err.println

Revision 1.5 / (download) - annotate - [select for diffs], Sun Apr 2 19:24:40 2000 UTC (24 years, 7 months ago) by tam
Branch: MAIN
CVS Tags: RELEASE_1_1_3
Changes since 1.4: +7 -13 lines
Diff to previous 1.4 (colored) to selected 1.1 (colored)

I fixed PolyCalc and elimi to new program interfaces.

Revision 1.4 / (download) - annotate - [select for diffs], Thu Mar 16 09:14:52 2000 UTC (24 years, 7 months ago) by tam
Branch: MAIN
CVS Tags: RELEASE_1_1_2
Changes since 1.3: +6 -6 lines
Diff to previous 1.3 (colored) to selected 1.1 (colored)

I fixed infinity loop to catch CMO object.

Revision 1.3 / (download) - annotate - [select for diffs], Thu Dec 9 00:32:36 1999 UTC (24 years, 11 months ago) by tam
Branch: MAIN
CVS Tags: RELEASE_20000124
Changes since 1.2: +5 -2 lines
Diff to previous 1.2 (colored) to selected 1.1 (colored)

fixit the bug which can't convert the integer from xml to cmo correctly.
	(only the integer x, exists k, 2^(8*k-1)<= x < 2^(8*k) ).

Revision 1.2 / (download) - annotate - [select for diffs], Sun Nov 21 20:38:41 1999 UTC (24 years, 11 months ago) by tam
Branch: MAIN
Changes since 1.1: +8 -2 lines
Diff to previous 1.1 (colored)

added CMO_RATIONAL.java

Revision 1.1 / (download) - annotate - [selected], Wed Nov 10 21:25:48 1999 UTC (25 years ago) by tam
Branch: MAIN

elimi.java(test version) is added.
	the aim of this program is to compute Gr\"obner base of
	elimination ideal.