Le lundi 2 juin 2014 14:26:31 UTC+2, Eric Gourgoulhon a écrit :
>
>
> Thank you for your anwser. 
> Is this the standard way to implement algebraic substructures ? i.e. have 
> a coercion B -> A and a partial conversion B -> A when B is a subspace (in 
> the present case a subalgebra) of A ?
>

Sorry for the typo, I meant:
have a coercion B -> A and a partial conversion A -> B when B is a subspace 
(in the present case a subalgebra) of A ?
 

>
> Eric.
>  
>
>>   
>> -- 
>> Marc 
>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to