package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Monome.RatSource

Sourcetype t = Q.t monome
Sourceval const : Q.t -> t

Empty monomial, from constant (decides type)

Sourceval singleton : Q.t -> term -> t

One term.

Sourceval of_list : Q.t -> (Q.t * term) list -> t
Sourceval divide : t -> Q.t -> t

Divide by non-zero constant

Sourceval of_term : term -> t option
Sourceval of_term_exn : term -> t

try to get a monome from a term.

  • raises NotLinear

    if the term is not a proper monome.

Sourceval to_term : t -> term

convert back to a term

Sourceval to_multiset : t -> Multisets.MT.t

Multiset of terms