Ask Your Question

problem with constant_coefficient of a form of ExteriorAlgebra

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

daniele gravatar image

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

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


which gives 1, correctly. If I instead compute


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


The same variable e2 appears 2 times

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

thanks, corrected!

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

works for me in sage 10.0.beta3

FrédéricC gravatar imageFrédéricC ( 2023-03-05 12:54:30 +0100 )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 +0100 )edit

1 Answer

Sort by » oldest newest most voted

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

eric_g gravatar image

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

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)
sage: (e1.interior_product(e1)).constant_coefficient()

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


Asked: 2023-03-05 10:22:36 +0100

Seen: 123 times

Last updated: Mar 06 '23