Ask Your Question
1

Incidence algebras, entering elements

asked 2022-06-08 21:32:48 +0200

JTS gravatar image

updated 2022-06-12 16:56:23 +0200

I have been trying to use incidence algebras, but immediately stumbled on a problem: how to enter elements when the elements of the underlying posets are complicated?

In the example below, I tried a cumbersome hack to enter some elements. It seemingly works, but these elements are not treated equaly as for instance the .an_element()

R = posets.YoungDiagramPoset([2,2]).incidence_algebra(QQ)
A1 = R.product_on_basis((1,1),(1,1))
A2 = R.product_on_basis((0,0),(0,0))
A3 = 3*A1 + 7*A2 
ane = R.an_element()
print(A1,A1.parent())
print(ane,ane.parent())

print(ane.to_matrix())
print(A1.to_matrix())

The last statement gives an error "ValueError: tuple.index(x): x not in tuple" showing that my handcrafted elements are not full citizens in R. How am I supposed to enter my elements?

Edit: the following works, so the mysterious behaviour of product_on_basis no longer concerns me.

R = posets.YoungDiagramPoset([2,2]).incidence_algebra(QQ)
f = 5*R[(0,0),(0,0)]
f.to_matrix()

Further edit: .product_on_basis works correctly, and non-mysteriously, if invoked correctly:

h=R.product_on_basis(((1,1),(1,1)),((1,1),(1,1)))
h.to_matrix()
edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2022-06-12 17:04:30 +0200

JTS gravatar image

Basis elements in the incidence algebra. i.e. a single interval, are added like this:

R = posets.YoungDiagramPoset([2,2]).incidence_algebra(QQ)
f = R[(0,0),(0,0)]

.product_on_basis works as intended, but its arguments should be a pair of intervals in the poset, which translates to a pair of pairs of poset elements. With the same incidence algebra R as before, and the same poset, simply do

h=R.product_on_basis(((1,1),(1,1)),((1,1),(1,1)))
edit flag offensive delete link more

Comments

If arguments are not what's required, it should report an error rather than silently produce meaningless results. So, it's still a bug in my opinion.

Max Alekseyev gravatar imageMax Alekseyev ( 2022-06-12 17:36:41 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2022-06-08 21:32:48 +0200

Seen: 203 times

Last updated: Jun 12 '22