Ask Your Question
1

problem with constant_coefficient of a form of ExteriorAlgebra

asked 2023-03-05 10:22:36 +0200

daniele gravatar image

updated 2023-03-05 11:02:59 +0200

Hi, I have a problem with ExteriorAlgebra and I do not understand where I am wrong. Let's define an ExteriorAlgebra E with some generators:

E.<e1,e2,e3> = ExteriorAlgebra(SR)

Take for example e1 and compute

e1.interior_product(e1)

which gives 1, correctly. If I instead compute

(e1.interior_product(e1)).constant_coefficient()

this gives 0!

It worked correctly until time ago, this behaviour only appear now: so probably I'm missing something that changed recently. I'm using SageMath version 9.7 on CoCalc.

Thanks in advance!

edit retag flag offensive close merge delete

Comments

The same variable e2 appears 2 times

achrzesz gravatar imageachrzesz ( 2023-03-05 11:00:58 +0200 )edit

thanks, corrected!

daniele gravatar imagedaniele ( 2023-03-05 11:03:07 +0200 )edit

works for me in sage 10.0.beta3

FrédéricC gravatar imageFrédéricC ( 2023-03-05 12:54:30 +0200 )edit

@FrédéricC: thanks for pointing this; actually it works in Sage 9.8 as well (cf. answer below).

eric_g gravatar imageeric_g ( 2023-03-06 11:50:35 +0200 )edit

1 Answer

Sort by » oldest newest most voted
1

answered 2023-03-06 11:48:05 +0200

eric_g gravatar image

updated 2023-03-06 11:52:16 +0200

I confirm the bug in SageMath 9.7, but it has been corrected in SageMath 9.8:

sage: E.<e1,e2,e3> = ExteriorAlgebra(SR)
sage: e1.interior_product(e1)
1
sage: (e1.interior_product(e1)).constant_coefficient()
1

So the solution is to install SageMath 9.8 or to select a SageMath 9.8 kernel on CoCalc.

edit flag offensive delete link more

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: 2023-03-05 10:22:36 +0200

Seen: 129 times

Last updated: Mar 06 '23