1 | /*****************************************************************************\ |
---|

2 | * Computer Algebra System SINGULAR |
---|

3 | \*****************************************************************************/ |
---|

4 | /** @file facAbsFact.h |
---|

5 | * |
---|

6 | * absolute multivariate factorization over Q |
---|

7 | * |
---|

8 | * @author Martin Lee |
---|

9 | * |
---|

10 | **/ |
---|

11 | /*****************************************************************************/ |
---|

12 | |
---|

13 | #ifndef FAC_ABS_FACT_H |
---|

14 | #define FAC_ABS_FACT_H |
---|

15 | |
---|

16 | #include "facAbsBiFact.h" |
---|

17 | |
---|

18 | /// main absolute factorization routine, expects poly which is |
---|

19 | /// irreducible over Q |
---|

20 | /// |
---|

21 | /// @return absFactorizeMain returns a list whose entries contain three |
---|

22 | /// entities: |
---|

23 | /// an absolute irreducible factor, an irreducible univariate polynomial |
---|

24 | /// that defines the minimal field extension over which the irreducible |
---|

25 | /// factor is defined (note: in case the factor is already defined over |
---|

26 | /// Q[t]/(t), 1 is returned as defining poly), and the |
---|

27 | /// multiplicity of the absolute irreducible factor |
---|

28 | CFAFList absFactorizeMain (const CanonicalForm& F ///<[in] irred poly over Q |
---|

29 | ); |
---|

30 | |
---|

31 | /*BEGINPUBLIC*/ |
---|

32 | /// absolute factorization of a multivariate poly over Q |
---|

33 | /// |
---|

34 | /// @return absFactorize returns a list whose entries contain three |
---|

35 | /// entities: |
---|

36 | /// an absolute irreducible factor, an irreducible univariate polynomial |
---|

37 | /// that defines the minimal field extension over which the irreducible |
---|

38 | /// factor is defined (note: in case the factor is already defined over |
---|

39 | /// Q[t]/(t), 1 is returned), and the multiplicity of the |
---|

40 | /// absolute irreducible factor |
---|

41 | CFAFList FACTORY_PUBLIC absFactorize (const CanonicalForm& G ///<[in] poly over Q |
---|

42 | ); |
---|

43 | /*ENDPUBLIC*/ |
---|

44 | |
---|

45 | |
---|

46 | #endif |
---|