Loading...
Searching...
No Matches
singext.h
Go to the documentation of this file.
/* emacs edit mode for this file is -*- C++ -*- */
/**
* @file singext.h
*
* helper functions for conversion to and from Singular
**/
#ifndef INCL_SINGEXT_H
#define INCL_SINGEXT_H
// #include "config.h"
#include "canonicalform.h"
#include "factory/cf_gmp.h"
#ifdef SINGULAR
#include "resources/feFopen.h"
#endif
//TODO make these functions members of CanonicalForm?
/*BEGINPUBLIC*/
void FACTORY_PUBLIC gmp_numerator ( const CanonicalForm & f, mpz_ptr result );
void FACTORY_PUBLIC gmp_denominator ( const CanonicalForm & f, mpz_ptr result );
int gf_value (const CanonicalForm & f );
CanonicalForm FACTORY_PUBLIC make_cf ( const mpz_ptr n );
CanonicalForm FACTORY_PUBLIC make_cf ( const mpz_ptr n, const mpz_ptr d, bool normalize );
CanonicalForm make_cf_from_gf ( const int z );
/*ENDPUBLIC*/
#endif /* ! INCL_SINGEXT_H */
canonicalform.h
Header for factory's main class CanonicalForm.
cf_gmp.h
f
FILE * f
Definition checklibs.c:9
CanonicalForm
factory's main class
Definition canonicalform.h:86
result
return result
Definition facAbsBiFact.cc:76
feFopen.h
FACTORY_PUBLIC
#define FACTORY_PUBLIC
Definition globaldefs.h:25
make_cf
CanonicalForm FACTORY_PUBLIC make_cf(const mpz_ptr n)
Definition singext.cc:66
make_cf_from_gf
CanonicalForm make_cf_from_gf(const int z)
Definition singext.cc:76
gf_value
int gf_value(const CanonicalForm &f)
Definition singext.cc:60
gmp_numerator
void FACTORY_PUBLIC gmp_numerator(const CanonicalForm &f, mpz_ptr result)
Definition singext.cc:20
gmp_denominator
void FACTORY_PUBLIC gmp_denominator(const CanonicalForm &f, mpz_ptr result)
Definition singext.cc:40
normalize
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
Definition syz3.cc:1027