#13215: Skew polynomials
-------------------------------------+-------------------------------------
Reporter: caruso | Owner: tbd
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-7.3
Component: algebra | Resolution:
Keywords: skew polynomials | Merged in:
Authors: Xavier Caruso, | Reviewers: Burcin Erocal, David
Arpit Merchant, Johan Rosenkilde | Lucas, Travis Scrimshaw
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/arpitdm/skew_polynomials | 0de3552ca85ee36a91cb41bff993e0eaebe25ecb
Dependencies: #13214, #13303, | Stopgaps:
#13640, #13641, #13642 |
-------------------------------------+-------------------------------------
Comment (by jsrn):
The implemented operator evaluation `__call__` is incorrect. For instance,
`1(a) = a` and `x(a) = sigma(a)` in a correct implementation, but that is
not the case here. The following implementation works:
{{{
if eval_pt not in self._parent:
raise TypeError("Evaluation point must be a ring element")
sigma = self._parent.twist_map()
coefficients = self.coefficients(sparse=False)
sum = self._parent.zero()
a = eval_pt
for c in coefficients:
sum += c * a
a = sigma(a)
return sum
}}}
I think we should make an effort to cythonize this method. Could you try
that Arpit?
Best,
Johan
--
Ticket URL: <https://trac.sagemath.org/ticket/13215#comment:94>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
