Files in directory r37/packages/algint of check-in aacf49ddfa1a84a8
- afactor.red
- algfn.red
- algint.red
- algint.rlg
- algint.tst
- antisubs.red
- coates.red
- coatesid.red
- findmagc.red
- findres.red
- finitise.red
- fixsubf.red
- fracdi.red
- genus.red
- intbasis.red
- inttaylr.red
- jhddiff.red
- jhdriver.red
- linrel.red
- log2atan.red
- maninp.red
- modify.red
- modlineq.red
- nagell.red
- nbasis.red
- places.red
- precoats.red
- removecm.red
- sqfrnorm.red
- substns.red
- torsionb.red
- wstrass.red
- zmodule.red