aboutsummaryrefslogtreecommitdiff
path: root/src/interp/monitor.lisp
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-02-06 09:29:03 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-02-06 09:29:03 -0800
commit840651da76b018edd0fac7eac5087e8adb1701c8 (patch)
tree213eb01d7b75ebb6dc7c7da143e43b513e0dc326 /src/interp/monitor.lisp
parentde24fd0cab54a21333221f0678f33787d74a5355 (diff)
downloadopen-axiom-840651da76b018edd0fac7eac5087e8adb1701c8.tar.gz
Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSup
Rewrite `subtractIfCan` and `sup` in terms of the mathematical operations and exported operations. This makes the correctness of the algorithms stand out.
Diffstat (limited to 'src/interp/monitor.lisp')
0 files changed, 0 insertions, 0 deletions