Laboratoire de l'Informatique et du Parallélisme » Pobyso

- the _so_so (arguments and returned objects are pointers to Sollya objects, 

  includes the void function and the no arguments function that return a 

  pointer to a Sollya object);

  Sage/Python objects or, more generally, information is transfered from the

  Sollya world to Sage/Python world; e.g. functions without arguments that

  return a Sage/Python object);

This classification is not always very strict. Conversion functions from Sollya

to Sage/Python are sometimes decorated with Sage/Python arguments to set

the precision. These functions remain in the so_sa category.

def pobyso_get_constant_as_rn(ctExpSo):

    return(pobyso_get_constant_as_rn_so_sa(ctExpSo))

    precisionSa  = pobyso_get_prec_of_constant_so_sa(constExpSo) 

def pobyso_get_sage_poly_from_sollya_poly(polySo, realFieldSa=None):

    """

    Convert a Sollya polynomial into a Sage polynomial.

    If no realField is given, a RealField corresponding to the maximum precision 

    of the coefficients is internally computed.

    It is not returned but can be easily retrieved from the polynomial itself.

    Main steps:

    - (optional) compute the RealField of the coefficients;

    - convert the Sollya expression into a Sage expression;

    - convert the Sage expression into a Sage polynomial

    """    

    if realFieldSa is None:

        expressionPrecSa = pobyso_get_max_prec_of_exp_so_sa(polySo)

        realFieldSa = RealField(expressionPrecSa)

    expressionSa = pobyso_get_sage_exp_from_sollya_exp_so_sa(polySo, \

                                                             realFieldSa)

    polyVariableSa = expressionSa.variables()[0]

    polyRingSa = realFieldSa[polyVariableSa]

    polynomialSa = polynomial(expressionSa, polyRingSa)

    return(polynomialSa)

# End pobyso_get_sage_poly_from_sollya_poly