Real Easy Folding
Like it? Look here:http://www.dynamicdrive.com/dynamicindex17/switchcontent.htm Now this works for Axiom output too!axiom )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)
axiom Compiling FriCAS source code from file
/var/zope2/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.07 SEC.MathActionTabs? ... --unknown, Wed, 12 Apr 2006 07:24:48 -0500 reply axiom a:= [1,2]*t + [2,3]*u
Type: List List Equation Fraction Polynomial Integer
|