/usr/include/singular/singular/polys/flintconv.h is in libsingular4-dev-common 1:4.1.0-p3+ds-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | // emacs edit mode for this file is -*- C++ -*-
#ifndef LIBPOLYS_POLYS_FLINTCONV_H
#define LIBPOLYS_POLYS_FLINTCONV_H
/****************************************
* Computer Algebra System SINGULAR *
****************************************/
/*
* ABSTRACT: convert data between Singular and Flint
*/
/** @file flintconv.h
*
* This file is work in progress and currently not part of the official Singular
*
* @note the code is garded by the version test __FLINT_RELEASE >= 20500 (>=2.5)
* In its current form it will never become an official part.
* (conversion routines may be moved to other files/directories, etc.)
*
* ABSTRACT: Conversion to/from FLINT, and access to some FLINT-routines
*
* REQUIREMENTS:
* - agreement about the interface to LLL
* - FLINT providing LLL
* (none of the above is currently true, but all of them is required)
*
**/
#ifdef HAVE_FLINT
#include <flint/flint.h>
#if __FLINT_RELEASE >= 20500
#include <polys/matpol.h>
#include <coeffs/bigintmat.h>
#include <flint/fmpz.h>
#include <flint/fmpq.h>
#include <flint/fmpz_poly.h>
#include <flint/fmpz_poly_mat.h>
#include <flint/fmpz_lll.h>
int convFlintISingI (fmpz_t f);
void convSingIFlintI(fmpz_t f, int p);
void convFlintNSingN (mpz_t z, fmpz_t f);
void convSingNFlintN(fmpz_t f, mpz_t z);
bigintmat* singflint_LLL(bigintmat* A, bigintmat* T);
intvec* singflint_LLL(intvec* A, intvec* T);
#endif
#endif
#endif
// LIBPOLYS_POLYS_FLINTCONV_H
|