Re: [sage-combinat-devel] Re: On the new base_ring check in ModuleMorphismByLinearity in version 4.5

2010-07-29 Thread Nicolas M. Thiery
On Thu, Jul 29, 2010 at 01:32:56PM -0700, Christian Stump wrote: > in SAGE 4.5, I have the following behaviour: > > sage: F = CombinatorialFreeModule(QQ,'a') > sage: G = RR > sage: def on_basis( b ): > return RR(1) > : > sage: F.module_morphism( on_basis=on_basis, codomain=G ) > ... > >

[sage-combinat-devel] Re: On the new base_ring check in ModuleMorphismByLinearity in version 4.5

2010-07-29 Thread Christian Stump
Salut Nicolas, > On Wed, Jul 28, 2010 at 10:58:43AM -0700, Christian Stump wrote: > > in the new sage version, there is now a base_ring equality check when > > a ModuleMorphismByLinearity is initiated. This prevents me from > > defining a linear map from a CombinatorialFreeModule to RR or CC using

Re: [sage-combinat-devel] On the new base_ring check in ModuleMorphismByLinearity in version 4.5

2010-07-29 Thread Nicolas M. Thiery
Hi Christian! On Wed, Jul 28, 2010 at 10:58:43AM -0700, Christian Stump wrote: > in the new sage version, there is now a base_ring equality check when > a ModuleMorphismByLinearity is initiated. This prevents me from > defining a linear map from a CombinatorialFreeModule to RR or CC using