levav's profile - activity

That works like a charm! Thank you.

Getting a specific Coefficient of a non-commuting formal power series in multiple variables This is a continuation of qu

Thank you very much! this worked perfectly. Should I open a bug about this in git, or is this expected behavior?

Example:

A.<a,b> = FreeAlgebra(QQ, 2)
f = a + a * b - b * a
f.coefficient(a*b)

Throws:

AssertionError: a*b should be an element of Free monoid on 2 generators (a, b)

After some investigation:

c = f.monomial_coefficients()
type(list(c.keys())[0])
<class 'sage.monoids.free_monoid.FreeMonoid_with_category.element_class'>

But:

type(a*b)
<class 'sage.algebras.free_algebra.FreeAlgebra_generic_with_category.element_class'>

This might be a bug? I'm not sure. For now, the only 'solution' I have is something like this:

mon_keys = list(c.keys())
str_keys = [str(k) for k in c.keys()]
i = str_keys.index(str(a*b))
print(f[mon_keys[i]])

Which prints:

1

as expected.

Note that this is a playground example, in practice I need to get this result from a Lyndon word in the generators, hence some of the generalities that would otherwise seem slightly unneeded. Anyhow, Is there a way to avoid this ugly hack?

getting a specific Coefficient of a non-commuting monomial in multiple variables Example: A.<a,b> = FreeAlgebra(Q

Thank you so much! that solved my issue completely. Just wish I could upvote lol

Thank you so much! that solved my issue completely.

Hi everyone,

As the title says, I need to use Non Commuting Multivariate Formal Power Series rings (Over P-adics) for my masters research, and while I found Non Commuting Multivariate Polynomial rings (e.g. the FreeAlgebra) and Multivariate Formal Power Series rings, I haven't found something that mixes both.

Is there some terminology for this that I'm missing? Or a simple way to implement this in sage?

Edit: I need to be able to do calculations with its generators. For example, (a+1)^(-1) should be 1 - a + a^2 - a^3 + ... + O(..) when 'a' is a generator.

How to implement Non Commuting Multivariate Formal Power Series rings in SageMat Hi everyone, As the title says, I nee

Thank you for the answer! I tried it but didn't manage to do calculations with its elements. I should've mentioned that

Thank you for the answer! I tried it but didn't manage to do calculations with its elements. I should've mentioned that

How to implement Non Commuting Multivariate Formal Power Series rings in SageMat Hi everyone, As the title says, I nee