search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.44k stars 480 forks source link

ConvexSet_minkowski_operators mixin class #32183

Open mkoeppe opened 3 years ago

mkoeppe commented 3 years ago

This would provide the operators currently implemented in Polyhedron_base: __neg__, __truediv__, _add_, __sub__, _acted_upon_.

(We do not make them available in ConvexSet_base because they may conflict with other intended operator semantics.)

We also add an @abstract_method(optional=True) ConvexSet_base.minkowski_sum.

Depends on #31993

CC: @kliem

Component: geometry

Issue created by migration from https://trac.sagemath.org/ticket/32183

mkoeppe commented 3 years ago

Description changed:

--- 
+++ 
@@ -1,5 +1,7 @@
-This would provide the operators currently implemented in `Polyhedron_base`: `__neg__`, `__truediv__`, `_add_`, `__sub__`, `_acted_upon_`
+This would provide the operators currently implemented in `Polyhedron_base`: `__neg__`, `__truediv__`, `_add_`, `__sub__`, `_acted_upon_`.
+
+(We do not make them available in `ConvexSet_base` because they may conflict with other intended operator semantics.)

 We also add an `@abstract_method(optional=True) ConvexSet_base.minkowski_sum`.

-We do not make them available in `ConvexSet_base` because they may conflict with other intended operator semantics.
+