On Friday, May 31, 2013 2:39:43 PM UTC+2, Simon King wrote:
>
> Hi Johannes,
>
> On 2013-05-31, Johhannes > wrote:
> > yea, that helped a lot. I just started to figure out where the
> FreeModule
> > implementation violates the categories model.
>
> Do you mean the code in
> sage.combinat.f
Hi Johannes,
On 2013-05-31, Johhannes wrote:
> yea, that helped a lot. I just started to figure out where the FreeModule
> implementation violates the categories model.
Do you mean the code in
sage.combinat.free_module.CombinatorialFreeModule? Sure, this complies
with the category and coercion
Hi Simon,
yea, that helped a lot. I just started to figure out where the FreeModule
implementation violates the categories model.
If I have some ideas how to fix it, I'll post them here.
Do you have a reference for the group action implementation too?
bg,
Johannes
Am Freitag, 24. Mai 2013 22:
Hi Johannes,
On 2013-05-24, Johannes wrote:
> I'm don't have a a good understanding of the sage category system, but
> if somebody could give me an introduction or link, I'll have a deeper
> look at it.
There is a thematic tutorial found at
SAGE_ROOT/devel/sage/doc/output/html/en/thematic_tuto
On 24.05.2013 16:41, Simon King wrote:
Hi Johannes,
On 2013-05-22, Johannes wrote:
is it implemented to create submodules of QQ['x,y,z'] as module over
itself?
I know it works for QQ['x'] or ZZ.
Perhaps you could show us what you do to make things work for QQ['x']
or ZZ, because I do *no
Hi Johannes,
On 2013-05-22, Johannes wrote:
> is it implemented to create submodules of QQ['x,y,z'] as module over
> itself?
In other words, you have an ideal, and it acts on itself by
multiplication and addition.
> I know it works for QQ['x'] or ZZ.
How? Ideals are not even properly implemen
