I don't understand what you're trying to do, but in any case: Sage is open source, so yes you can definitely modify it. It's probably easiest if you simply subclass the ANF2CNF converter and implement whatever change you want to see in your subclass.
On Wednesday 22 May 2013, akhil wrote: > Hello everyone, > > > I wanted to know if the SAGE builtin ANF2CNF converter (I am using the > sparse strategy implementation) can be modified so as to display a limited > number of clauses of the given ANF expression, say 'n' number of clauses (n > must be input to the converter, along with the ANF expression). > > Please help if anybody can come up with a solution. > > Thanks a lot. Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: [email protected]
signature.asc
Description: This is a digitally signed message part.
