fact: Parameter trsIntOk : forall f : sig, somewhere_finite dim_pos (trsInt f).
imports: CoLoR(AArcticBasedInt Matrix OrdSemiRing VecUtil AMonAlg SN RelUtil NatUtil AWFMInterpretation LogicUtil AMatrixBasedInt BoolUtil ListUtil)