1 /* This is a -*- C++ -*- header file. */ 2 3 /* RudyResNTL.h -- Polynomial substitution and residue calculations 4 5 Copyright 2002-2004 Jesus A. De Loera, David Haws, Raymond 6 Hemmecke, Peter Huggins, Jeremy Tauzer, Ruriko Yoshida 7 Copyright 2006, 2007 Matthias Koeppe 8 9 This file is part of LattE. 10 11 LattE is free software; you can redistribute it and/or modify it 12 under the terms of the version 2 of the GNU General Public License 13 as published by the Free Software Foundation. 14 15 LattE is distributed in the hope that it will be useful, but 16 WITHOUT ANY WARRANTY; without even the implied warranty of 17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 18 General Public License for more details. 19 20 You should have received a copy of the GNU General Public License 21 along with LattE; if not, write to the Free Software Foundation, 22 Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA. 23 */ 24 25 #ifndef RUDYRESNTL__H 26 #define RUDYRESNTL__H 27 28 #include "cone.h" 29 #include "barvinok/dec.h" // for Standard_Single_Cone_Parameters 30 31 /* Consumes CONES. */ 32 vec_ZZ ResidueFunction(listCone* cones, int numOfVars, int print_flag, int degree, int output_cone, 33 BarvinokParameters *params); 34 35 // Returns -1 if a Dot Product is zero in the denominator, otherwise 1 36 // if ok 37 /* Consumes CONES. */ 38 int 39 ResidueFunction_Single_Cone (listCone *cones, 40 Standard_Single_Cone_Parameters *Residue_Parameters); 41 42 #endif 43 44