Up to [local] / OpenXM_contrib2 / asir2018 / parse
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.5 / (download) - annotate - [select for diffs], Tue Oct 6 06:31:20 2020 UTC (4 years, 2 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.4: +13 -9
lines
Diff to previous 1.4 (colored) to selected 1.3 (colored)
Removed warnings.
Revision 1.4 / (download) - annotate - [select for diffs], Tue Nov 12 10:53:23 2019 UTC (5 years, 1 month ago) by kondoh
Branch: MAIN
Changes since 1.3: +5 -1
lines
Diff to previous 1.3 (colored)
Added elementary functions for interval arithmetic using mpfi
Revision 1.3 / (download) - annotate - [selected], Wed Aug 21 00:37:47 2019 UTC (5 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.2: +5 -2
lines
Diff to previous 1.2 (colored)
Added dpm_set_schreyer() for setting a schreyer ordering. Added and modified several functions for treating DPM (module element over a polynomial ring with distributed representation).
Revision 1.2 / (download) - annotate - [select for diffs], Fri Sep 28 08:20:29 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.1: +4 -4
lines
Diff to previous 1.1 (colored) to selected 1.3 (colored)
Changed macros : QTOS->ZTOS, STOQ->STOZ etc.
Revision 1.1 / (download) - annotate - [select for diffs], Wed Sep 19 05:45:08 2018 UTC (6 years, 3 months ago) by noro
Branch: MAIN
Diff to selected 1.3 (colored)
Added asir2018 for implementing full-gmp asir.