Top
Back: FamElemsAtEnvCompPoints
Forward: WLemma
FastBack:
FastForward:
Up: grobcov_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.4.17 discrim

Procedure from library grobcov.lib (see grobcov_lib).

Usage:
discrim(f,x);
poly f: the polynomial in Q[a][x] or Q[x] of degree 2 in x poly x: can be a variable or a parameter of the ring.

Return:
the factorized discriminant of f wrt x for discussing its sign

Example:
 
LIB "grobcov.lib";
if(defined(R)){kill R;}
ring R=(0,a,b,c),(x,y),dp;
short=0;
poly f=a*x^2*y+b*x*y+c*y;
discrim(f,x);
==> [1]:
==>    _[1]=-1
==>    _[2]=(4*a*c-b^2)
==>    _[3]=y
==> [2]:
==>    1,1,2


Top Back: FamElemsAtEnvCompPoints Forward: WLemma FastBack: FastForward: Up: grobcov_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.