Opened 4 months ago

Last modified 4 months ago

#30193 new enhancement

Axioms for functionals

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.3
Component: categories Keywords:
Cc: tscrim, nthiery Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

(COMEFROM #30170 #30092)

We add the following axioms, and corresponding mixin categories providing _test_... methods, for use with maps:

  • subadditive, additive, superadditive
  • submultiplicative, multiplicative, supermultiplicative
  • homogeneous, positive_homogeneous
  • contractive, metric, lipschitz
  • convex, concave

Change History (1)

comment:1 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3
Note: See TracTickets for help on using tickets.