PS:
I think it would be nice if CombinatorialFreeModule.Element would
actually use Sage's coercion framework.
Is there a ticket to make CombinatorialFreeModule.Element a Cython class
using the infrastructure that is provided by
sage.structure.element.ModuleElement?
Best regards,
Simon
--
You r
Hi Nicolas,
On 2015-06-21, Nicolas M. Thiery wrote:
> On Sat, Jun 20, 2015 at 01:38:10PM +, Simon King wrote:
>> I think it would be nice if CombinatorialFreeModule.Element would
>> actually use Sage's coercion framework.
>> Is there a ticket to make CombinatorialFreeModule.Element a Cython c
Hi Nicolas,
On 2015-06-21, Nicolas M. Thiery wrote:
> (Combinatorial)FreeModule(K, I) is about constructing the free module
> M over the base ring K, with a basis (b_i)_{i\in I} indexed by
> I.
Exactly. This is what I thought it would do. And the point is: Undocumented
assumptions are made on {b
Hey all,
Speaking of CFM, what should we do http://trac.sagemath.org/ticket/18750
(sorry to throw it onto the pile Nicolas)? Should CFM always make sure any
input given to it by a user be the proper basis element?
My current fix on #18750 doesn't work, but I believe it is the correct way
for
Hi Nicolas,
On 2015-06-22, Nicolas M. Thiery wrote:
> I checked the documentation and code, and indeed it's ambiguous. The
> index set is really meant to be a parent; for example there are tests
> such like I in Sets().Finite() and the dimension method calls
> `cardinality`. As a syntactic sugar,
On Sat, Jun 20, 2015 at 01:38:10PM +, Simon King wrote:
> I think it would be nice if CombinatorialFreeModule.Element would
> actually use Sage's coercion framework.
> Is there a ticket to make CombinatorialFreeModule.Element a Cython class
> using the infrastructure that is provided by
> sage.
On Sun, Jun 21, 2015 at 10:18:27PM +, Simon King wrote:
> Exactly. This is what I thought it would do. And the point is: Undocumented
> assumptions are made on {b_i: i \in I} or I. It isn't enough that I
> is a container.
>
> For example, it is assumed that you can call I to create an element
For the record: we had a chat with Simon this morning, and the current
plan is on http://trac.sagemath.org/ticket/18756 and followup.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil"
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed
