Real Easy Folding
Like it? Look here:http://www.dynamicdrive.com/dynamicindex17/switchcontent.htm Now this works for Axiom output too!fricas (1) -> )abbrev domain PPF PointedPrimeField --%PointedPrimeField PointedPrimeField(n:PositiveInteger):Cat==Dog where Cat == FiniteFieldCategory with foo:PositiveInteger->PrimeField(n) Dog == PrimeField(n) add foo(k)==k::Integer::PrimeField(n) fricas Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3896265268149061013-25px.001.spad using old system compiler. PPF abbreviates domain PointedPrimeField ------------------------------------------------------------------------ initializing NRLIB PPF for PointedPrimeField compiling into NRLIB PPF compiling exported foo : PositiveInteger -> PrimeField n Time: 0.01 SEC. MathActionTabs? ... --unknown, Wed, 12 Apr 2006 07:24:48 -0500 reply fricas a:= [1, |