Changeset d3d3168 in git


Ignore:
Timestamp:
Feb 17, 2012, 11:05:30 AM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
Children:
c2aeb9aa4f5b5bc845c3d83ce3c7ab67db049358
Parents:
f9bd3df575b00ad6b5b1f49bf42ebe194e4bb7b2
git-author:
Martin Lee <martinlee84@web.de>2012-02-17 11:05:30+01:00
git-committer:
Martin Lee <martinlee84@web.de>2012-04-04 14:42:26+02:00
Message:
chg: added docu for conversion to FLINT and back
Location:
factory
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • factory/FLINTconvert.cc

    rf9bd3d rd3d3168  
     1/*****************************************************************************\
     2 * Computer Algebra System SINGULAR
     3\*****************************************************************************/
     4/** @file FLINTconvert.cc
     5 *
     6 * This file implements functions for conversion to FLINT (www.flintlib.org)
     7 * and back.
     8 *
     9 * @author Martin Lee
     10 *
     11 **/
     12/*****************************************************************************/
     13
    114
    215#include <config.h>
  • factory/FLINTconvert.h

    rf9bd3d rd3d3168  
     1/*****************************************************************************\
     2 * Computer Algebra System SINGULAR
     3\*****************************************************************************/
     4/** @file FLINTconvert.h
     5 *
     6 * This file defines functions for conversion to FLINT (www.flintlib.org)
     7 * and back.
     8 *
     9 * @author Martin Lee
     10 *
     11 **/
     12/*****************************************************************************/
     13
    114#ifndef FLINT_CONVERT_H
    215#define FLINT_CONVERT_H
     
    1932#endif
    2033
    21 void convertCF2Fmpz (fmpz_t result, const CanonicalForm& f);
    22 void convertFacCF2Fmpz_poly_t (fmpz_poly_t result, const CanonicalForm& f);
    23 CanonicalForm convertFmpz2CF (fmpz_t coefficient);
    24 CanonicalForm convertFmpz_poly_t2FacCF (fmpz_poly_t poly, const Variable& x);
    25 void convertFacCF2nmod_poly_t (nmod_poly_t result, const CanonicalForm& f);
    26 CanonicalForm convertnmod_poly_t2FacCF (nmod_poly_t poly, const Variable& x);
    27 void convertCF2Fmpq (fmpq_t result, const CanonicalForm& f);
    28 CanonicalForm convertFmpq_poly_t2FacCF (fmpq_poly_t p, const Variable& x);
    29 void convertFacCF2Fmpq_poly_t (fmpq_poly_t result, const CanonicalForm& f);
    30 CFFList convertFLINTnmod_poly_factor2FacCFFList (nmod_poly_factor_t fac,
    31                                                   mp_limb_t leadingCoeff,
    32                                                   const Variable& x
    33                                                  );
     34/// conversion of a factory integer to fmpz_t
     35void
     36convertCF2Fmpz (fmpz_t result,         ///< [in,out] an fmpz_t
     37                const CanonicalForm& f ///< [in] a CanonicalForm wrapping an
     38                                       ///< integer
     39               );
     40
     41/// conversion of a factory univariate polynomial over Z to a fmpz_poly_t
     42void
     43convertFacCF2Fmpz_poly_t (fmpz_poly_t result,    ///< [in,out] an fmpz_poly_t
     44                          const CanonicalForm& f ///< [in] univariate poly over
     45                                                 ///< Z
     46                         );
     47
     48/// conversion of a FLINT integer to CanonicalForm
     49CanonicalForm
     50convertFmpz2CF (fmpz_t coefficient ///< [in] a FLINT integer
     51               );
     52
     53/// conversion of a FLINT poly over Z to CanonicalForm
     54CanonicalForm
     55convertFmpz_poly_t2FacCF (fmpz_poly_t poly, ///< [in] an fmpz_poly_t
     56                          const Variable& x ///< [in] variable the result should
     57                                            ///< have
     58                         );
     59
     60/// conversion of a factory univariate polynomials over Z/p (for word size p)
     61/// to nmod_poly_t
     62void
     63convertFacCF2nmod_poly_t (nmod_poly_t result,    ///< [in, out] a nmod_poly_t
     64                          const CanonicalForm& f ///< [in] univariate poly over
     65                                                 ///< Z/p
     66                         );
     67
     68/// conversion of a FLINT poly over Z/p to CanonicalForm
     69CanonicalForm
     70convertnmod_poly_t2FacCF (nmod_poly_t poly, ///< [in] a nmod_poly_t
     71                          const Variable& x ///< [in] variable the result should
     72                                            ///< have
     73                         );
     74
     75/// conversion of a factory rationals to fmpq_t
     76void
     77convertCF2Fmpq (fmpq_t result,         ///< [in,out] an fmpq_t
     78                const CanonicalForm& f ///< [in] a CanonicalForm wrapping a
     79                                       ///< rational
     80               );
     81
     82/// conversion of a factory univariate polynomials over Q to fmpq_poly_t
     83void
     84convertFacCF2Fmpq_poly_t (fmpq_poly_t result,    ///< [in,out] an fmpq_poly_t
     85                          const CanonicalForm& f ///< [in] univariate poly over
     86                                                 ///< Q
     87                         );
     88
     89/// conversion of a FLINT poly over Q to CanonicalForm
     90CanonicalForm
     91convertFmpq_poly_t2FacCF (fmpq_poly_t p,    ///< [in] an fmpq_poly_t
     92                          const Variable& x ///< [in] variable the result should
     93                                            ///< have
     94                         );
     95
     96/// conversion of a FLINT factorization over Z/p (for word size p) to a
     97/// CFFList
     98CFFList
     99convertFLINTnmod_poly_factor2FacCFFList (
     100                   nmod_poly_factor_t fac, ///< [in] a nmod_poly_factor_t
     101                   mp_limb_t leadingCoeff, ///< [in] leading coefficient
     102                   const Variable& x       ///< [in] variable the result should
     103                                           ///< have
     104                                        );
    34105
    35106#endif
Note: See TracChangeset for help on using the changeset viewer.