the multiplication and addition seems to be at least not faster than in UCF.
This was wrong - when we have two elements in the same CF, CF is also
much faster than UCF - so there is also something to do...
--
You received this message because you are subscribed to the Google Groups
Hi Christian!
On Mon, Jun 14, 2010 at 05:27:21PM -0700, Christian Stump wrote:
I have a new version of cyclotomic fields with Zumbroich basis, which
you might wanna use as a first test these days for translating complex
reflection groups from chevie to sage.
Great, thanks!
The
Salut Nicolas,
I have a new version of cyclotomic fields with Zumbroich basis, which
you might wanna use as a first test these days for translating complex
reflection groups from chevie to sage.
The changes depend on the little change in the class
ModuleMorphismByLinearity as described above. I
Salut Nicolas,
4. the embedding into CC does not yet work: in the constructor, I
define the following module_morphism:
def on_basis( x ):
return (2 * CLF.pi() * CLF.gen() * x[1] /x[0]).exp()
g = self.module_morphism( on_basis=on_basis, codomain=CLF )
I replaced the line
return sum([self._on_basis(*(before+(index,)+after))._lmul_(coeff)
for (index, coeff) in args[self._position]], self._zero)
by
return sum([ coeff * self._on_basis(*(before+(index,)+after)) for
(index, coeff) in args[self._position]], self._zero)
and the examples in
Salut Nicolas,
thanks for your detailed answer!
I implemented, as you suggested, a universal cyclotomic field. The
problem is that this causes dependencies between basis elements. These
are as follows:
- if p divides n: [ ( p*n, p*k ) for (n,k) in ZumbroichBasis( n, 1 ) ]
is contained in
Another question I just thought about was: Do we want:
1. every element in the universal cyclotomic field living in exactly
one cyclotomic field QQ( \zeta_n ) generated by ZumbroichBasis(n,1)
for some n, or
2. can an element have several monomials living in different
cyclotomic fields.
In gap,
I added a new version of the file zumbroich.sage to ticket #8327.
--
You received this message because you are subscribed to the Google Groups
sage-combinat-devel group.
To post to this group, send email to sage-combinat-de...@googlegroups.com.
To unsubscribe from this group, send email to