Top
Back: D.5.4.18 spmul
Forward: D.5.4.20 spsemicont
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.5.4 gaussman_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.5.4.19 spissemicont

Procedure from library gaussman.lib (see gaussman_lib).

Usage:

spissemicont(sp[,1]); list sp, int opt

Return:
int k=
  1;  if sum of sp is positive on all intervals [a,a+1) [and (a,a+1)]
  0;  if sum of sp is negative on some interval [a,a+1) [or (a,a+1)]

Example:

LIB "gaussman.lib";
ring R=0,(x,y),ds;
list sp1=list(ideal(-1/2,-3/10,-1/10,0,1/10,3/10,1/2),intvec(1,2,2,1,2,2,1));
spprint(sp1);
→ (-1/2,1),(-3/10,2),(-1/10,2),(0,1),(1/10,2),(3/10,2),(1/2,1)
list sp2=list(ideal(-1/6,1/6),intvec(1,1));
spprint(sp2);
→ (-1/6,1),(1/6,1)
spissemicont(spsub(sp1,spmul(sp2,3)));
→ 1
spissemicont(spsub(sp1,spmul(sp2,4)));
→ 0

Top Back: D.5.4.18 spmul Forward: D.5.4.20 spsemicont FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.5.4 gaussman_lib Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texi2html.