Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [local] / OpenXM / src / asir-contrib / testing / noro
Current tag: R_1_3_1-2
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
![]() |
||||
![]() |
||||
![]() |
1.2 | 14 years | noro | *** empty log message *** |
![]() |
1.1 | 14 years | noro | Added a file module_syz.rr for computing syzygy. |
![]() |
1.3 | 18 years | noro | Added de.rr for modular dynamic evaluation. |
![]() |
1.9 | 14 years | noro | Added pdecom_de() in mwl.rr. Corrected bf_strat_stage3() so that it is compatibl... |
![]() |
1.1 | 18 years | noro | Added test files for term rewriting and simplification. |
![]() |
1.1 | 18 years | noro | Added test files for term rewriting and simplification. |
![]() |
1.5 | 14 years | noro | Fixed a bug in mwl.pdecomp. |
![]() |
1.2 | 18 years | noro | Modified according to the renaming of quote functions. |
![]() |
1.2 | 16 years | noro | Removed tolex_gw(). |
![]() |
1.2 | 14 years | noro | Revising the manual of nn_ndbf. |