AdditiveMagmas.ParentMethods.summation calls _add_ without checking
In src/sage/categories/additive_magmas.py
, there is
class AdditiveMagmas(Category_singleton):
class ParentMethods:
def summation(self, x, y):
return x._add_(y)
It's dangerous to call _add_
without checking. Either this should just be x + y
, or there should be type checking for x
and y
, or there should be conversion of x
and y
to the correct parent.
Change History (6)
Cc: 
Vincent Delecroix removed

Description: 
modified (diff)

Cc: 
Travis Scrimshaw added

Milestone: 
sage7.3 →
sageduplicate/invalid/wontfix

Status: 
new →
needs_review

Status: 
needs_review →
positive_review

Reviewers: 
→ Travis Scrimshaw

Resolution: 
→ invalid

Status: 
positive_review →
closed

This is outdated; the code has changed since