[<<][staapl][>>][..]
Mon Sep 14 12:29:29 CEST 2009

Abstract number domains

What: build a staged expression evaluator for abstract number
systems.  I.e. flatten an expression to ANF + allow for complex
numbers, normal numbers, other fields/rings, ...

So.. I've separated the ring-sig.ss interface, and will provide
algorithms in terms of mathematical rings/fields.  This seems the
cleanest separation.




[Reply][About]
[<<][staapl][>>][..]