Project

General

Profile

Feature #682

PPMonoid: add fn to check for overflow in products

Added by John Abbott about 9 years ago. Updated about 9 years ago.

Status:
New
Priority:
Low
Assignee:
-
Category:
Safety
Target version:
CoCoALib-1.0
Start date:
14 Apr 2015
Due date:
% Done:

0%

Estimated time:
3.00 h
Spent time:
0.50 h

Description

I have recently added the fn PowerOverflowCheck for PPs; implemented via mem fn myPowerOverflowCheck. Currently this is called (as a heuristic) only when computing powers of sparse polynomials.

Consider adding a similar overflow check for products of PPs; then we could add a heuristic check (on LPPs) when multiplying sparse polys. This would avoid an anomalous situation for certain values of n: namely x^(2*n) gives exponent overflow, but (x^n)*(x^n) currently gives no error.

History

#1 Updated by John Abbott about 9 years ago

  • Priority changed from Normal to Low
  • Estimated time set to 3.00 h
Perhaps we will need two overflow check fns:
  • myMulOverflowCheck
  • myMulByIndetPowerOverflowCheck
It would be convenient to have non mem fns too: I suggest these names
  • MulOverflowCheck
  • MulByIndetPowerOverflowCheck

Also available in: Atom PDF