Sos (p.coq-core.8.18.0.doc.micromega_plugin.Micromega

Sourcetype poly

Sourceval poly_isconst : poly -> bool

Sourceval poly_neg : poly -> poly

Sourceval poly_mul : poly -> poly -> poly

Sourceval poly_pow : poly -> int -> poly

Sourceval poly_const : NumCompat.Q.t -> poly

Sourceval poly_of_term : Sos_types.term -> poly

Sourceval term_of_poly : poly -> Sos_types.term

Source

val term_of_sos : 
  (Sos_types.positivstellensatz * (NumCompat.Q.t * poly) list) ->
  Sos_types.positivstellensatz

Sourceval string_of_poly : poly -> string

Source

val real_positivnullstellensatz_general : 
  bool ->
  int ->
  poly list ->
  (poly * Sos_types.positivstellensatz) list ->
  poly ->
  poly list * (Sos_types.positivstellensatz * (NumCompat.Q.t * poly) list) list

Sourceval sumofsquares : poly -> NumCompat.Q.t * (NumCompat.Q.t * poly) list