mirror of
https://gitlab.com/scemama/QCaml.git
synced 2025-01-03 10:05:40 +01:00
24 lines
473 B
OCaml
24 lines
473 B
OCaml
|
type t =
|
||
|
|
| Pos
|
||
|
|
| Neg
|
||
|
|
|
||
|
|
val of_nperm : int -> t
|
||
|
|
(** Returns the phase obtained by a given number of permuations. *)
|
||
|
|
|
||
|
|
val to_nperm : t -> int
|
||
|
|
(** Converts the phase to [1] or [0] permutations. *)
|
||
|
|
|
||
|
|
val multiply : t -> t -> t
|
||
|
|
(** Multiply an existing phase by another phase. *)
|
||
|
|
|
||
|
|
val add_nperm : t -> int -> t
|
||
|
|
(** Add to an existing phase a given number of permutations. *)
|
||
|
|
|
||
|
|
val neg : t -> t
|
||
|
|
(** Negate the phase. *)
|
||
|
|
|
||
|
|
(** {1 Printers} *)
|
||
|
|
|
||
|
|
val pp : Format.formatter -> t -> unit
|
||
|
|
|