"Liu Xiaojun" <[EMAIL PROTECTED]> writes:
> Here is the code:
>
> (1) -> )set expose add constructor SquareMatrix
> SquareMatrix is now explicitly exposed in frame frame0
> (1) -> R := SQMATRIX( 2 , INT )
>
> (1) SquareMatrix(2,Integer)
>
> Type: Domain
> (2) -> y :R := matrix[[1,0],[1,1]]
> +1 0+
> (2) | |
> +1 1+
>
> Type: SquareMatrix(2,Integer)
> (3) -> delta(r:R):R == y*r - r*y
> Function declaration delta : SquareMatrix(2,Integer) ->
> SquareMatrix(2,Integer) has been added to workspace.
>
> Type: Void
> (4) -> S := OREUP('x, R, 1, delta)
>
> >> System error:
> The function MAP is undefined.
>
> As I said, how to define S correctly ?
Looks like a bug. I'll see whether I can find out something.
> 2. I was able to construct OREUP over an univariate polynomial ring
> R:=UP('t, INT), with sigma:=1 and delta be the usual derivation d/dt, like
> this
>
> (1) -> R:= UP('t, INT)
>
> (1) UnivariatePolynomial(t,Integer)
>
> Type: Domain
> (2) -> W:= OREUP('x, R, 1, D)
>
> (2) UnivariateSkewPolynomial(x,UnivariatePolynomial(t,Integer),R ->
> R,theMap(DIFRING-;D;2S;1,723))
>
> Type: Domain
> (3) -> x: W := 'x
> (3) x
> (4) -> t: W:= 't
> (4) t
> (5) -> x*t
> (5) t x + 1
>
> Everything goes right. But HOW does the interpretor know that D is a
> derivation ? I just want to know the mechanism behind this code :-)
try )di op D
> 3. I'm using REGSET.ht as a templete to write my example page for OREUP. How
> to compile my .ht file so that I can see my page in hyperdoc system?
I think that Waldek knows. There should also be an explanation within
HyperDoc, if I recall correctly.
> 4. Can I write latex in .ht file?
>
> PS: There is another problem about the hyperdoc system:
> When I scroll mouse wheel on the example code, an xterm window comes out
> and the code is pasted into this window, which is good. But when I close
> xterm window, the whole fricas system quit, which is unexpected. How to quit
> xterm ONLY? (I'm using debian with xfce desktop environment, recently fricas
> svn running in an xfce-terminal.)
Yes, this is very annoying and happens to me, too. A fix would be greatly
appreciated.
Martin
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
