Home Online Manual
Top
Back: Quotient
Forward: roots
FastBack: ntsolve_lib
FastForward: signcond_lib
Up: zeroset_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.6.2 remainder

Procedure from library zeroset.lib (see zeroset_lib).

Usage:
remainder(f, g); where f,g are polynomials

Purpose:
compute the remainder of the division of f by g, i.e. a polynomial r s.t. f = g*q + r, deg(r) < deg(g).

Return:
poly

Assume:
basering = Q[x] or Q(a)[x]

Note:
outdated, use mod/reduce instead

Example:
 
LIB "zeroset.lib";
ring R = (0,a), x, lp;
minpoly = a2+1;
poly f =  x4 - 1;
poly g = x3 - 1;
remainder(f, g);
==> x-1