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, |