|
5.1.31 farey
Syntax:
factorize ( poly_expression )
factorize ( poly_expression, 0 )
factorize ( poly_expression, 2 )
Type:
- list of ideal and intvec
Syntax:
farey ( bigint_expression, bigint_expression )
farey ( ideal_expression, bigint_expression )
Type:
- number/ideal
Purpose:
- lift the first argument modulo the second to the rationals
Note:
- The current coefficient field must be the rationals.
Example:
| ring r=0,x,dp;
farey(2,32003);
==> 2
|
See
chinrem.
|