[sage-support] Re: Exterior algebra

2009-04-18 Thread Travis Willse
Thanks for the help, Everyone. Learning to construct the exact ring I wanted in Singular took some effort, but SuperCommutative() gave me the construction I needed and saved me piles of computation. (I don't know how to apply patches and so didn't attempt the 'native' solution, but I'm grateful

[sage-support] Re: Exterior algebra

2009-04-17 Thread Burcin Erocal
On Fri, 17 Apr 2009 11:14:13 +0100 Martin Albrecht wrote: > > Unfortunately, SuperCommutative isn't available in libsingular (yet, > > hint hint...). > > It seems the command is implemented as Singular script and not in C. Thus > until we have an interface to call Singular library code, there

[sage-support] Re: Exterior algebra

2009-04-17 Thread simon . king
Hi Martin, On 17 Apr., 12:14, Martin Albrecht wrote: > > Unfortunately, SuperCommutative isn't available in libsingular (yet, > > hint hint...). > > It seems the command is implemented as Singular script and not in C. I know that the SuperCommutative *command* is a script, but I would be very s

[sage-support] Re: Exterior algebra

2009-04-17 Thread Martin Albrecht
> Unfortunately, SuperCommutative isn't available in libsingular (yet, > hint hint...). It seems the command is implemented as Singular script and not in C. Thus until we have an interface to call Singular library code, there isn't much we can do. However, IIRC Burcin worked on exposing whatev

[sage-support] Re: Exterior algebra

2009-04-17 Thread simon . king
Hi Travis, On 17 Apr., 10:32, Travis Willse wrote: > Is there a reasonable way to implement the exterior (alternating) > algebra of a finite-dimensional vector space?  One could do this with > FreeAlgebraQuotient, but I want to compute the exterior algebra over > QQ^7, which is large enough (dim