Project

General

Profile

Feature #914

New function: quorem for univariate polynomials?

Added by Anna Maria Bigatti over 7 years ago. Updated over 7 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
CoCoALib-1.0
Start date:
16 Aug 2016
Due date:
% Done:

0%

Estimated time:
Spent time:
0.75 h

Description

(requested by Christoph Fuerst)

I've seen at the examples that there are routines available

IsDivisible
operator/

but no modulo operation. Is it planned, for a future release,
to provide a division with quotient and remainder for univariate
polynomials? Or can you suggest me a workaround?

Related issues

Related to CoCoALib - Design #1720: DivAlg in CoCoALibNew2022-12-21

History

#1 Updated by Anna Maria Bigatti over 7 years ago

There is a function which is not publicly available: DivMod in DenseUPolyRing.C.
Should we make that function available? and with which name?
Or suggest something else?

#2 Updated by John Abbott over 7 years ago

The request for quorem (or whatever it will be called) seems reasonable to me -- at first sight, anyway.

If the coeff ring is a field then there should be no problem. If it is not a field then it is not so clear what the definition of quorem should be: always error? error if LCs are not divisible? never error, just return a quot and a rem?

#3 Updated by Anna Maria Bigatti over 1 year ago

Also available in: Atom PDF