Bill Page wrote:
>
> Sorry, here is something a bit more complicated. Note that (58) still
> shows the expected result while the others do not format scripts
> properly.
>
> (55) -> [[c[1,1],c[2,1]],[c[1,2],c[2,2]]]
>
> (55) [[c ,c ],[c ,c ]]
> 1,1 2,1 1,2 2,2
> Type: List(List(Symbol))
> (56) -> m:SquareMatrix(2,EXPR INT):=%
>
> +c c +
> | 1,1 2,1|
> (56) | |
> |c c |
> + 1,2 2,2+
> Type: SquareMatrix(2,Expression(Integer))
> (57) -> b:=CliffordAlgebra(2,EXPR INT,m)
>
> (57)
>
> CliffordAlgebra(2,Expression(Integer),[[*02c(1,1),*02c(2,1)],[*02c(1,2),*02c(
> 2,2)]])
> Type: Type
> (58) -> b::OutputForm
>
> +c c +
> | 1,1 2,1|
> (58) CliffordAlgebra(2,Expression(Integer()),| |)
> |c c |
> + 1,2 2,2+
> Type: OutputForm
> (59) -> outputDomainConstructor(b)$Lisp
>
> (59)
>
> CliffordAlgebra(2,Expression(Integer),[[*02c(1,1),*02c(2,1)],[*02c(1,2),*02c(
> 2,2)]])
> Type: SExpression
> (60) -> outputDomainConstructor(b)$Lisp::OutputForm
>
> (60)
>
> CliffordAlgebra(2,Expression(Integer),[[*02c(1,1),*02c(2,1)],[*02c(1,2),*02c(
> 2,2)]])
> Type: OutputForm
> (61) ->
>
> On 16 April 2015 at 12:06, Bill Page <[email protected]> wrote:
> > OK. Here is an example in the interpreter. One small surprize is the
> > result of (45). It seems strange that in this case only the matrix is
> > formated as an actual OutputForm. The result shown in (50) does not
> > format the matrix this way.
First, you askced about Spad: in Spad use 'outputDomainConstructor'.
In interpreter use 'T::OutputForm'. '::' calls 'outputDomainConstructor',
but there is problem with representation of types in interpreter.
The effect is that calls to type-using Boot functions can receive
slightly wrong arguments. Also, 'outputDomainConstructor' is
currently affected by similar problem, it tries to cope but
sometimes you get suboptimal output.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
