├── .gitignore ├── EQ.i ├── GE.i ├── LE.i ├── LICENSE ├── LT.i ├── Makefile ├── NE.i ├── OPN-assoc.i ├── OPN-inv-assoc.i ├── OPN-inv-cancel.i ├── OPN-inv-preserves-CMPN.i ├── OPN-inv.i ├── OPN-preserves-CMPN.i ├── OPN-preserves-GE.i ├── OPN-preserves-NE.i ├── OPN-preserves-RCMPN.i ├── RCMP.i ├── README ├── RELN.i ├── SUB-distrib.i ├── bool-base.elf ├── bool.cpp ├── distrib.i ├── get-names.pl ├── map-all-export.elf ├── map-all.elf ├── map-base.elf ├── map-domain.elf ├── map-head.elf ├── map-import.elf ├── map-join.elf ├── map-leq.elf ├── map-meet.elf ├── map-minmax.elf ├── map-restrict.elf ├── map-scale.elf ├── map-trans.elf ├── minmax.elf ├── multiset-add.elf ├── multiset-base.elf ├── multiset-extra.elf ├── multiset-head.elf ├── multiset-help.elf ├── multiset-redef.elf ├── multiset.cpp ├── nat-base.elf ├── nat-comp.elf ├── nat-divrem.elf ├── nat-head.elf ├── nat-inv-comp.elf ├── nat-inv-less.elf ├── nat-inv.elf ├── nat-less.elf ├── nat-minmax.elf ├── nat.cpp ├── natpair-base.elf ├── natpair.cpp ├── natvector.cpp ├── nozero-MUL-right-factors-over-SUB.i ├── pair.elf ├── rat-base.elf ├── rat-comp.elf ├── rat-count.elf ├── rat-eq.elf ├── rat-head.elf ├── rat-inv-comp.elf ├── rat-inv-less.elf ├── rat-inv.elf ├── rat-leq.elf ├── rat-less.elf ├── rat.cpp ├── rat0-base.elf ├── rat0.cpp ├── rat0vector.cpp ├── remove-empty-comments.pl ├── set-base.elf ├── set-extra.elf ├── set-head.elf ├── set-help.elf ├── set-redef.elf ├── set-remove.elf ├── set.cpp ├── sources.cfg ├── std.elf ├── test-map-rat.elf └── vector.elf /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/.gitignore -------------------------------------------------------------------------------- /EQ.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/EQ.i -------------------------------------------------------------------------------- /GE.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/GE.i -------------------------------------------------------------------------------- /LE.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/LE.i -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | The contents of this repository are public domain 2 | -------------------------------------------------------------------------------- /LT.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/LT.i -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/Makefile -------------------------------------------------------------------------------- /NE.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/NE.i -------------------------------------------------------------------------------- /OPN-assoc.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-assoc.i -------------------------------------------------------------------------------- /OPN-inv-assoc.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-inv-assoc.i -------------------------------------------------------------------------------- /OPN-inv-cancel.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-inv-cancel.i -------------------------------------------------------------------------------- /OPN-inv-preserves-CMPN.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-inv-preserves-CMPN.i -------------------------------------------------------------------------------- /OPN-inv.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-inv.i -------------------------------------------------------------------------------- /OPN-preserves-CMPN.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-preserves-CMPN.i -------------------------------------------------------------------------------- /OPN-preserves-GE.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-preserves-GE.i -------------------------------------------------------------------------------- /OPN-preserves-NE.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-preserves-NE.i -------------------------------------------------------------------------------- /OPN-preserves-RCMPN.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/OPN-preserves-RCMPN.i -------------------------------------------------------------------------------- /RCMP.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/RCMP.i -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/README -------------------------------------------------------------------------------- /RELN.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/RELN.i -------------------------------------------------------------------------------- /SUB-distrib.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/SUB-distrib.i -------------------------------------------------------------------------------- /bool-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/bool-base.elf -------------------------------------------------------------------------------- /bool.cpp: -------------------------------------------------------------------------------- 1 | #include "bool-base.elf" 2 | -------------------------------------------------------------------------------- /distrib.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/distrib.i -------------------------------------------------------------------------------- /get-names.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/get-names.pl -------------------------------------------------------------------------------- /map-all-export.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-all-export.elf -------------------------------------------------------------------------------- /map-all.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-all.elf -------------------------------------------------------------------------------- /map-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-base.elf -------------------------------------------------------------------------------- /map-domain.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-domain.elf -------------------------------------------------------------------------------- /map-head.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-head.elf -------------------------------------------------------------------------------- /map-import.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-import.elf -------------------------------------------------------------------------------- /map-join.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-join.elf -------------------------------------------------------------------------------- /map-leq.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-leq.elf -------------------------------------------------------------------------------- /map-meet.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-meet.elf -------------------------------------------------------------------------------- /map-minmax.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-minmax.elf -------------------------------------------------------------------------------- /map-restrict.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-restrict.elf -------------------------------------------------------------------------------- /map-scale.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-scale.elf -------------------------------------------------------------------------------- /map-trans.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/map-trans.elf -------------------------------------------------------------------------------- /minmax.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/minmax.elf -------------------------------------------------------------------------------- /multiset-add.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/multiset-add.elf -------------------------------------------------------------------------------- /multiset-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/multiset-base.elf -------------------------------------------------------------------------------- /multiset-extra.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/multiset-extra.elf -------------------------------------------------------------------------------- /multiset-head.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/multiset-head.elf -------------------------------------------------------------------------------- /multiset-help.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/multiset-help.elf -------------------------------------------------------------------------------- /multiset-redef.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/multiset-redef.elf -------------------------------------------------------------------------------- /multiset.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/multiset.cpp -------------------------------------------------------------------------------- /nat-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-base.elf -------------------------------------------------------------------------------- /nat-comp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-comp.elf -------------------------------------------------------------------------------- /nat-divrem.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-divrem.elf -------------------------------------------------------------------------------- /nat-head.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-head.elf -------------------------------------------------------------------------------- /nat-inv-comp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-inv-comp.elf -------------------------------------------------------------------------------- /nat-inv-less.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-inv-less.elf -------------------------------------------------------------------------------- /nat-inv.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-inv.elf -------------------------------------------------------------------------------- /nat-less.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-less.elf -------------------------------------------------------------------------------- /nat-minmax.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat-minmax.elf -------------------------------------------------------------------------------- /nat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nat.cpp -------------------------------------------------------------------------------- /natpair-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/natpair-base.elf -------------------------------------------------------------------------------- /natpair.cpp: -------------------------------------------------------------------------------- 1 | #include "natpair-base.elf" 2 | -------------------------------------------------------------------------------- /natvector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/natvector.cpp -------------------------------------------------------------------------------- /nozero-MUL-right-factors-over-SUB.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/nozero-MUL-right-factors-over-SUB.i -------------------------------------------------------------------------------- /pair.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/pair.elf -------------------------------------------------------------------------------- /rat-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-base.elf -------------------------------------------------------------------------------- /rat-comp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-comp.elf -------------------------------------------------------------------------------- /rat-count.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-count.elf -------------------------------------------------------------------------------- /rat-eq.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-eq.elf -------------------------------------------------------------------------------- /rat-head.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-head.elf -------------------------------------------------------------------------------- /rat-inv-comp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-inv-comp.elf -------------------------------------------------------------------------------- /rat-inv-less.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-inv-less.elf -------------------------------------------------------------------------------- /rat-inv.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-inv.elf -------------------------------------------------------------------------------- /rat-leq.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-leq.elf -------------------------------------------------------------------------------- /rat-less.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat-less.elf -------------------------------------------------------------------------------- /rat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat.cpp -------------------------------------------------------------------------------- /rat0-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat0-base.elf -------------------------------------------------------------------------------- /rat0.cpp: -------------------------------------------------------------------------------- 1 | #include "rat0-base.elf" 2 | -------------------------------------------------------------------------------- /rat0vector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/rat0vector.cpp -------------------------------------------------------------------------------- /remove-empty-comments.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/remove-empty-comments.pl -------------------------------------------------------------------------------- /set-base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/set-base.elf -------------------------------------------------------------------------------- /set-extra.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/set-extra.elf -------------------------------------------------------------------------------- /set-head.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/set-head.elf -------------------------------------------------------------------------------- /set-help.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/set-help.elf -------------------------------------------------------------------------------- /set-redef.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/set-redef.elf -------------------------------------------------------------------------------- /set-remove.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/set-remove.elf -------------------------------------------------------------------------------- /set.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/set.cpp -------------------------------------------------------------------------------- /sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/sources.cfg -------------------------------------------------------------------------------- /std.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/std.elf -------------------------------------------------------------------------------- /test-map-rat.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/test-map-rat.elf -------------------------------------------------------------------------------- /vector.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boyland/twelf-library/HEAD/vector.elf --------------------------------------------------------------------------------