> I started making a small package for component-free vector algebra. It
> is based on the work "Rule-Based Simplification in Vector-Product
> Spaces" written by Songxin Liang and David J. Jeffrey.

I made some real progress with the code. In the most up to date
version it can do many non-trivial problems. For example:

(122) -> simplify( (va-vd)^(vb-vc) + (vb-vd)^(vc-va) + (vc-vd)^(va-vb) - 
2*(va^vb + vb^vc + vc^va) )

   (122)  00
                                                 Type: VectorAlgebra(Integer)

I attached the code as well as the examples and some other tests.
You can find the most recent versions of all files in the github repo at:

https://github.com/raoulb/fricas_code/blob/vectoralg/vecalg/

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

Attachment: examples.input
Description: Binary data

Attachment: tests.input
Description: Binary data

Attachment: VA.spad
Description: Binary data

Reply via email to