On Sat, Jan 17, 2009 at 10:30 AM, luis wrote:
> Bill,
>
> Thanks again. Yes, this is exactly the kind of thing I want to
> do.
>
> A couple of questions:
>
> - Can you give me a small example in using axiom directely?
> (I mean without passing through sage).
Sure, no problem. Try something like this:
wsp...@virtual-debian:~/sage-3.1.3$ vi LambdaK.input
--
)set message autoload off
LambdaK:=CliffordAlgebra(4,Fraction Polynomial Integer,quadraticForm
diagonalMatrix [0,0,0,0])
e1:=e(1)$LambdaK
e2:=e(2)$LambdaK
e3:=e(3)$LambdaK
e4:=e(4)$LambdaK
a:=x*e1*e2
b:=x*e1*e3
c:=y*e4*e3
a*b
a*c
--
If you have FriCAS (or another fork of Axiom) installed you can just
run the above script directly, or you can start the FriCAS installed
in Sage like this
$ sage -axiom
or from within Sage like this:
sage: axiom.console()
viewman not present, disabling graphics
Checking for foreign routines
AXIOM="/home/wspage/sage-3.1.3/local/lib/fricas/target/i686-pc-linux"
spad-lib="/home/wspage/sage-3.1.3/local/lib/fricas/target/i686-pc-linux/lib/libspad.so"
foreign routines found
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 1.0.3
Timestamp: Monday October 20, 2008 at 10:14:54
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> )read LambdaK.input
)set message autoload off
LambdaK:=CliffordAlgebra(4,Fraction Polynomial Integer,quadraticForm
diagonalMatrix [0,0,0,0])
(1) CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
Type: Domain
e1:=e(1)$LambdaK
(2) e
1
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
e2:=e(2)$LambdaK
(3) e
2
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
e3:=e(3)$LambdaK
(4) e
3
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
e4:=e(4)$LambdaK
(5) e
4
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
a:=x*e1*e2
(6) x e e
1 2
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
b:=x*e1*e3
(7) x e e
1 3
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
c:=y*e4*e3
(8) - y e e
3 4
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
a*b
(9) 0
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
a*c
(10) - x y e e e e
1 2 3 4
Type: CliffordAlgebra(4,Fraction Polynomial Integer,MATRIX)
(11) -> )quit
sage:
> - I can see the patches in "trac", but I don't know how to apply them
> (I am just starting with sage). Is there some tool to apply them?
>
This thread might help:
http://groups.google.com/group/fricas-devel/browse_thread/thread/ce55dbdfbb0e65ff/28a682142f569ccf
If you still have questions, please ask... And also try to encourage
the Sage/FriCAS developers to review this ticket so that we can
finally get it into Sage! :-)
Regards,
Bill Page.
>
> On Jan 17, 4:10 pm, Bill Page <bill.p...@newsynthesis.org> wrote:
>> Luis,
>>
>> Now that I have had some coffee, let me also give you a slightly
>> better example :-)
>>
>> sage: LambdaK=axiom('CliffordAlgebra(4,Fraction Polynomial
>> Integer,quadraticForm diagonalMatrix [0,0,0,0])')
>> sage: e1=axiom('e(1)$%s'%(LambdaK.name()))
>> sage: e2=axiom('e(2)$%s'%(LambdaK.name()))
>> sage: e3=axiom('e(3)$%s'%(LambdaK.name()))
>> sage: e4=axiom('e(4)$%s'%(LambdaK.name()))
>> sage: var('x,y,z')
>> (x, y, z)
>> sage: a=x*e1*e2
>> sage: b=x*e1*e3
>> sage: c=y*e4*e3
>> sage: a*b
>> 0
>> sage: a*c
>>
>> - x y e e e e
>> 1 2 3 4
>> sage:
>>
>> Regards,
>> Bill Page.
>
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
