2021-05-23 19:37:31 +0200 | commented question | Computing the endomorphism ring of an elliptic curve over a finite field Now answered on math.SE. |
2021-05-05 09:54:37 +0200 | commented question | Base of Eigenforms Example to show you can recover exact values: sage: f = Newforms(89,names='a',base_ring=QQbar)[-1] sage: f[2].as_numbe |
2021-05-05 09:53:45 +0200 | commented question | Base of Eigenforms sage: f = Newforms(89,names='a',base_ring=QQbar)[-1] sage: f[2].as_number_field_element() (Number Field in a with defi |
2021-05-05 09:53:38 +0200 | commented question | Base of Eigenforms sage: f = Newforms(89,names='a',base_ring=QQbar)[-1] sage: f[2].as_number_field_element() (Number Field in a with defi |
2021-05-05 09:53:23 +0200 | commented question | Base of Eigenforms `sage: f = Newforms(89,names='a',base_ring=QQbar)[-1] sage: f[2].as_number_field_element() (Number Field in a with def |
2021-05-05 09:53:17 +0200 | commented question | Base of Eigenforms `sage: f = Newforms(89,names='a',base_ring=QQbar)[-1] sage: f[2].as_number_field_element() (Number Field in a with defi |
2021-05-05 09:52:53 +0200 | commented question | Base of Eigenforms sage: f = Newforms(89,names='a',base_ring=QQbar)[-1] |
2021-05-05 09:50:36 +0200 | commented question | Base of Eigenforms Three comments on your edited question: (1) It's considered rather bad manners to edit a question after it's been answer |
2021-05-05 09:50:28 +0200 | commented question | Base of Eigenforms Three comments on your edited question: (1) It's considered rather bad manners to edit a question after it's been answer |
2021-05-04 08:06:46 +0200 | received badge | ● Teacher (source) |
2021-05-03 14:11:55 +0200 | received badge | ● Editor (source) |
2021-05-03 14:11:55 +0200 | edited answer | Base of Eigenforms John Cremona's solution will work, but you can get to the answer a little more quickly as follows: ┌─────────────────── |
2021-05-03 13:58:07 +0200 | commented answer | Base of Eigenforms These are definitely not eigenforms, because a Hecke eigenform always has linear coefficient $\ne 0$ (and it is conventi |
2021-05-03 13:56:24 +0200 | answered a question | Base of Eigenforms John Cremona's solution will work, but you can get to the answer a little more quickly as follows: ┌─────────────────── |
2018-11-04 17:25:35 +0200 | received badge | ● Student (source) |
2018-11-04 17:12:28 +0200 | asked a question | Reduce non-integral element mod ideal Suppose I have a nonzero ideal $I$ in a number field $K$, and an element $x \in K$ whose denominator ideal $\{ \alpha \in O_K: \alpha x \in O_K\}$ is coprime to $I$. Then x defines an element of $O_K / I$, even if $x \notin O_K$.
The first things I tried were sage: K.= QuadraticField(10).objgen() sage: I = K.ideal(3, a + 1) sage: x = (1 - 2*a)/3 sage: x % I [...] TypeError: unsupported operand parent(s) for % sage: I.reduce(x) [...] TypeError: reduce only defined for integral elements sage: I.small_residue(x) 1/3*a + 4/3The only one-liner I could come up with was sage: I.reduce( x * x.denominator_ideal().element_1_mod(I) ) -a which works, but is a bit clumsy. Is there a simpler, cleaner Sage idiom for this? |