help links subscribe changes refresh edit

	SandBox Mapping
	↑

SandBoxMorphism

Edit detail for SandBoxMorphism revision 1 of 15

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Editor: Bill Page Time: 2008/06/17 18:40:27 GMT-7
Note:

changed:
-
\begin{spad}
)abbrev domain MORPH Morphism
T ==> SetCategory
Morphism(source:T, target:T): with
  domain:%->T
  codomain:%->T
  coerce:(source->target)  -> %
  coerce:%->(source->target)
  coerce:%->OutputForm
 == (source->target) add
  Rep == (source->target)
  domain(p:%):T == source
  codomain(p:%):T == target
  coerce(r:(source->target)):% == per(r)
  coerce(p:%):(source->target) == p pretend (source->target)
  coerce(p:%):OutputForm == p pretend OutputForm
\end{spad}

\begin{axiom}
)show Morphism(Float,Integer)
f:Morphism(Float,Integer)
f:=(x:Float):Integer +->wholePart(x)
f(1.1)
(f::(Float->Integer))(1.1)
domain f
codomain f
(f::(domain(f)->codomain(f)))(1.1)

\end{axiom}

fricas

(1) -> <spad>

fricas

)abbrev domain MORPH Morphism
T ==> SetCategory
Morphism(source:T, target:T): with
  domain:%->T
  codomain:%->T
  coerce:(source->target)  -> %
  coerce:%->(source->target)
  coerce:%->OutputForm
 == (source->target) add
  Rep == (source->target)
  domain(p:%):T == source
  codomain(p:%):T == target
  coerce(r:(source->target)):% == per(r)
  coerce(p:%):(source->target) == p pretend (source->target)
  coerce(p:%):OutputForm == p pretend OutputForm</spad>

fricas

Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/7023236588135790421-25px001.spad
      using old system compiler.
   MORPH abbreviates domain Morphism 
------------------------------------------------------------------------
   initializing NRLIB MORPH for Morphism 
   compiling into NRLIB MORPH 
************* USER ERROR **********
available signatures for Rep: 
    NONE
NEED Rep: () -> ?
****** comp fails at level 1 with expression: ******
((DEF (|Rep|) (NIL) (|Mapping| |target| |source|)))
****** level 1  ******
x:= (DEF (Rep) (NIL) (Mapping target source))
m:= $EmptyMode
f:=
((((~= #) (= #) (|coerce| #) (|latex| #) ...)))

   >> Apparent user error:
   unspecified error

fricas

)show Morphism(Float,Integer)

   Morphism is an unknown constructor and so is unavailable. Did you 
      mean to use -> but type something different instead?