Ask Your Question

peter.xu's profile - activity

2022-06-08 18:17:02 +0100 edited question How to intersect subspaces of a combinatorial free module?

How to intersect subspaces of a combinatorial free module? Hi, I've defined a CombinatorialFreeModule over ZZ with a pre

2022-06-08 18:16:21 +0100 received badge  Editor (source)
2022-06-08 18:16:21 +0100 edited question How to intersect subspaces of a combinatorial free module?

How to intersect subspaces of a combinatorial free module? Hi, I've defined a CombinatorialFreeModule over ZZ with a pre

2022-06-08 04:32:59 +0100 asked a question How to intersect subspaces of a combinatorial free module?

How to intersect subspaces of a combinatorial free module? Hi, I've defined a CombinatorialFreeModule over ZZ with a pre

2021-02-03 23:22:09 +0100 received badge  Nice Question (source)
2021-02-03 22:27:50 +0100 commented question What is the .sigma() function for an elliptic curve's formal group?

here's the link i couldn't add: https://doc.sagemath.org/html/en/refe...

2021-02-03 22:24:22 +0100 received badge  Student (source)
2021-02-03 22:23:34 +0100 asked a question What is the .sigma() function for an elliptic curve's formal group?

The SageMath documentation page for "formal groups of elliptic curves" (I can't link it because I don't have enough karma) lists among the methods for formal groups of elliptic curves a .sigma(), with essentially no explanation of what it is. This makes me suspect that it's the $p$-adic $\sigma$-function of the elliptic curve, as defined by Mazur and Tate in their paper of that name, but I'd like some security in whether the implementation is accurate, as well as what the "c" variable is - I guess probably it somehow corresponds to a choice of invariant differential on the elliptic curve/formal group since that's the only other thing the $p$-adic $\sigma$-function depends on, but how this works isn't transparent to me.