prbnmcn-basic-structures
Base package for prbnmcn-* packages
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package prbnmcn-basic-structures
-
prbnmcn-basic-structures
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library prbnmcn-basic-structures
include Basic_intf.Module_std with type R.t = float
module R : Basic_intf.Ring_std with type t = float
module Basis : sig ... end
type basis = Basis.t
of_list [(x1,r1);...;(xn,rn)]
is equivalent to add (smul r1 (delta x1)) (add (smul r2 (delta x2)) (add ... (smul rn (delta xn))))
ON THIS PAGE
No table of contents