Changes between Version 48 and Version 53 of Ticket #7797


Ignore:
Timestamp:
07/27/11 15:43:52 (8 years ago)
Author:
SimonKing
Comment:

In my application, I also need conversion from graded sub-algebras. Hence, I implemented it in the new patch.

To be precise: If we have free graded algebras A and B in letterplace implementation, then there is a coercion from A to B if and only if there is a coercion from the base ring of A to the base ring of B, and the set of generator names of A is a subset of the generator names of B, and the degrees of equally named generators of A and B are equal.

The coercion is always name and degree preserving.

Example:

sage: F.<t,y,z> = FreeAlgebra(ZZ, implementation='letterplace', degrees=[4,2,3])
sage: G = FreeAlgebra(GF(5), implementation='letterplace', names=['x','y','z','t'], degrees=[1,2,3,4])
sage: t*G.0       # indirect doctest
t*x
sage: (t*G.0 + G.1*G.2)*y
y*z*y + t*x*y

Apply trac7797-full_letterplace_wrapper_rel11068.patch trac7797-letterplace_degree_weights.patch trac7797-latex_letterplace.patch trac7797-letterplace_coercion.patch

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7797 – Description

    v48 v53  
    2222[attachment:trac7797-latex_letterplace.patch]
    2323
     24[attachment:trac7797-letterplace_coercion.patch]
     25
    2426Depends on #11068 #11268