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