/dports/math/spot/spot-2.10.2/bench/spin13/ |
H A D | new-strong2.ltl | 1 (F(FG!p2 | G(Gp0 U p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 2 (FGp0) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 4 (FG(p0 & F(Gp0 R p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 6 (F(Gp0 | G!p1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 7 (F(Gp0 & (p1 U !p2))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 9 (FGp0 U p1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 25 (GF(Fp0 & X(p1 | X!p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 26 (GF(Gp1 & Fp0)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 27 (GF!p0 | G(!p0 | !p1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) [all …]
|
H A D | new-weak3.ltl | 1 (F(FG!p2 | G(Gp0 U p1))) & (GF(p10) & GF(p11) & GF(p12)) 2 (FGp0) & (GF(p10) & GF(p11) & GF(p12)) 4 (FG(p0 & F(Gp0 R p1))) & (GF(p10) & GF(p11) & GF(p12)) 6 (F(Gp0 | G!p1)) & (GF(p10) & GF(p11) & GF(p12)) 9 (FGp0 U p1) & (GF(p10) & GF(p11) & GF(p12)) 25 (GF(Fp0 & X(p1 | X!p1))) & (GF(p10) & GF(p11) & GF(p12)) 26 (GF(Gp1 & Fp0)) & (GF(p10) & GF(p11) & GF(p12)) 27 (GF!p0 | G(!p0 | !p1)) & (GF(p10) & GF(p11) & GF(p12)) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & (GF(p10) & GF(p11) & GF(p12)) 68 (p0 | X(GF!p1 | (p0 M !p2))) & (GF(p10) & GF(p11) & GF(p12)) [all …]
|
H A D | new-strong1.ltl | 1 (F(FG!p2 | G(Gp0 U p1))) & ((GF(p10)) -> (GF(p11))) 2 (FGp0) & ((GF(p10)) -> (GF(p11))) 9 (FGp0 U p1) & ((GF(p10)) -> (GF(p11))) 25 (GF(Fp0 & X(p1 | X!p1))) & ((GF(p10)) -> (GF(p11))) 26 (GF(Gp1 & Fp0)) & ((GF(p10)) -> (GF(p11))) 27 (GF!p0 | G(!p0 | !p1)) & ((GF(p10)) -> (GF(p11))) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & ((GF(p10)) -> (GF(p11))) 58 (p0 & !p1 & X(!p2 | GF(p3 & Xp2))) & ((GF(p10)) -> (GF(p11))) 68 (p0 | X(GF!p1 | (p0 M !p2))) & ((GF(p10)) -> (GF(p11))) 82 (XF(p0 & GF!p1)) & ((GF(p10)) -> (GF(p11))) [all …]
|
H A D | new-fair2.ltl | 2 (FGp0) & ((FG(p10)) -> (GF(p11))) 25 (GF(Fp0 & X(p1 | X!p1))) & ((FG(p10)) -> (GF(p11))) 26 (GF(Gp1 & Fp0)) & ((FG(p10)) -> (GF(p11))) 27 (GF!p0 | G(!p0 | !p1)) & ((FG(p10)) -> (GF(p11))) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & ((FG(p10)) -> (GF(p11))) 58 (p0 & !p1 & X(!p2 | GF(p3 & Xp2))) & ((FG(p10)) -> (GF(p11))) 68 (p0 | X(GF!p1 | (p0 M !p2))) & ((FG(p10)) -> (GF(p11))) 82 (XF(p0 & GF!p1)) & ((FG(p10)) -> (GF(p11))) 89 (X(GF(!p0 & (p1 | !p2)) | (p2 & !p3 & (F!p4 U !p5)))) & ((FG(p10)) -> (GF(p11))) 91 (XGp0 & ((p1 R (p2 & F!p3)) | GF(!p4 | p3))) & ((FG(p10)) -> (GF(p11))) [all …]
|
/dports/math/py-spot/spot-2.10.2/bench/spin13/ |
H A D | new-strong2.ltl | 1 (F(FG!p2 | G(Gp0 U p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 2 (FGp0) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 4 (FG(p0 & F(Gp0 R p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 6 (F(Gp0 | G!p1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 7 (F(Gp0 & (p1 U !p2))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 9 (FGp0 U p1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 25 (GF(Fp0 & X(p1 | X!p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 26 (GF(Gp1 & Fp0)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 27 (GF!p0 | G(!p0 | !p1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13))) [all …]
|
H A D | new-weak3.ltl | 1 (F(FG!p2 | G(Gp0 U p1))) & (GF(p10) & GF(p11) & GF(p12)) 2 (FGp0) & (GF(p10) & GF(p11) & GF(p12)) 4 (FG(p0 & F(Gp0 R p1))) & (GF(p10) & GF(p11) & GF(p12)) 6 (F(Gp0 | G!p1)) & (GF(p10) & GF(p11) & GF(p12)) 9 (FGp0 U p1) & (GF(p10) & GF(p11) & GF(p12)) 25 (GF(Fp0 & X(p1 | X!p1))) & (GF(p10) & GF(p11) & GF(p12)) 26 (GF(Gp1 & Fp0)) & (GF(p10) & GF(p11) & GF(p12)) 27 (GF!p0 | G(!p0 | !p1)) & (GF(p10) & GF(p11) & GF(p12)) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & (GF(p10) & GF(p11) & GF(p12)) 68 (p0 | X(GF!p1 | (p0 M !p2))) & (GF(p10) & GF(p11) & GF(p12)) [all …]
|
H A D | new-strong1.ltl | 1 (F(FG!p2 | G(Gp0 U p1))) & ((GF(p10)) -> (GF(p11))) 2 (FGp0) & ((GF(p10)) -> (GF(p11))) 9 (FGp0 U p1) & ((GF(p10)) -> (GF(p11))) 25 (GF(Fp0 & X(p1 | X!p1))) & ((GF(p10)) -> (GF(p11))) 26 (GF(Gp1 & Fp0)) & ((GF(p10)) -> (GF(p11))) 27 (GF!p0 | G(!p0 | !p1)) & ((GF(p10)) -> (GF(p11))) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & ((GF(p10)) -> (GF(p11))) 58 (p0 & !p1 & X(!p2 | GF(p3 & Xp2))) & ((GF(p10)) -> (GF(p11))) 68 (p0 | X(GF!p1 | (p0 M !p2))) & ((GF(p10)) -> (GF(p11))) 82 (XF(p0 & GF!p1)) & ((GF(p10)) -> (GF(p11))) [all …]
|
H A D | new-fair2.ltl | 2 (FGp0) & ((FG(p10)) -> (GF(p11))) 25 (GF(Fp0 & X(p1 | X!p1))) & ((FG(p10)) -> (GF(p11))) 26 (GF(Gp1 & Fp0)) & ((FG(p10)) -> (GF(p11))) 27 (GF!p0 | G(!p0 | !p1)) & ((FG(p10)) -> (GF(p11))) 37 (G(p0 & GF!p1) U (FG!p2 R Xp3)) & ((FG(p10)) -> (GF(p11))) 58 (p0 & !p1 & X(!p2 | GF(p3 & Xp2))) & ((FG(p10)) -> (GF(p11))) 68 (p0 | X(GF!p1 | (p0 M !p2))) & ((FG(p10)) -> (GF(p11))) 82 (XF(p0 & GF!p1)) & ((FG(p10)) -> (GF(p11))) 89 (X(GF(!p0 & (p1 | !p2)) | (p2 & !p3 & (F!p4 U !p5)))) & ((FG(p10)) -> (GF(p11))) 91 (XGp0 & ((p1 R (p2 & F!p3)) | GF(!p4 | p3))) & ((FG(p10)) -> (GF(p11))) [all …]
|
/dports/math/gap/gap-4.11.0/pkg/XModAlg-1.17/lib/ |
H A D | cat1algdata.g | 11 [2,1,1,[() ],"GF(2)_triv",[ ] ], 12 [2,2,1,[(1,2)],"GF(2)_c2", 13 [ [ [()],"GF(2)_c2","GF(2)_triv",[1,1],[1,1] ] ] ], 17 [ [ [(),(3,4)],"GF(2)_c2","GF(2)_c2",[1,1,2],[1,1,2] ] ] ], 28 [ [ [(),(1,2,3,4)],"GF(2)_c2","GF(2)_c4",[1,2,1],[1,2,1] ] ] ], 44 [3,2,1,[(1,2)],"GF(3)_c2", 63 [4,2,1,[(1,2)],"GF(2^2)_c2", 64 [ [ [()],"GF(2^2)_c2","GF(2^2)_triv",[1,1],[1,1] ] ] ], 69 [ [ [(),(3,4)],"GF(2^2)_c2","GF(2^2)_c2",[1,1,2],[1,1,2] ] ] ], 87 [5,2,1,[(1,2)],"GF(5)_c2", [all …]
|
/dports/biology/p5-BioPerl/BioPerl-1.7.7/t/data/ |
H A D | testaln.stockholm | 2 #=GF ID 14-3-3 3 #=GF AC PF00244 5 #=GF AU Finn RD 6 #=GF AL Clustalw 7 #=GF SE Prosite 8 #=GF GA 25 25 13 #=GF RN [1] 20 #=GF RN [2] 25 #=GF RA R; 27 #=GF RN [3] [all …]
|
/dports/biology/viennarna/ViennaRNA-2.4.18/tests/data/ |
H A D | rfam_seed_many_short.stk | 3 #=GF AC RF00005 4 #=GF ID tRNA 5 #=GF DE tRNA 7 #=GF SE Eddy SR 9 #=GF GA 29.00 10 #=GF TC 29.00 11 #=GF NC 28.90 18 #=GF RN [1] 21 #=GF RA Hou YM 23 #=GF RN [2] [all …]
|
H A D | alignment_stockholm.stk | 3 #=GF AC RF01293 4 #=GF ID ACA59 6 #=GF AU Wilkinson A 9 #=GF GA 43.00 10 #=GF TC 44.90 11 #=GF NC 40.30 13 #=GF BM cmbuild -F CM SEED 16 #=GF DR snoRNABase; ACA59; 20 #=GF RN [1] 21 #=GF RM 15199136 [all …]
|
/dports/biology/infernal/infernal-1.1.3/hmmer/testsuite/ |
H A D | minifam | 2 #=GF ID BCSC_C 3 #=GF AC PF05420.2 5 #=GF PI BCSC_N; 6 #=GF AU Moxon SJ 11 #=GF TP Family 17 #=GF RN [1] 28 #=GF SQ 7 65 #=GF SQ 7 108 #=GF SQ 10 169 #=GF SQ 6 [all …]
|
H A D | XYPPX.sto | 2 #=GF ID XYPPX 3 #=GF AC PF02162.8 4 #=GF DE XYPPX repeat 5 #=GF PI Rhodopsin_C; 6 #=GF AU Mian N, Bateman A 7 #=GF SE IPR000216 11 #=GF TP Repeat 16 #=GF AM globalfirst 17 #=GF DR PRINTS; PR00239; 31 #=GF CC composition. [all …]
|
/dports/biology/hmmer/hmmer-3.3/testsuite/ |
H A D | minifam | 2 #=GF ID BCSC_C 3 #=GF AC PF05420.2 5 #=GF PI BCSC_N; 6 #=GF AU Moxon SJ 11 #=GF TP Family 17 #=GF RN [1] 28 #=GF SQ 7 65 #=GF SQ 7 108 #=GF SQ 10 169 #=GF SQ 6 [all …]
|
H A D | XYPPX.sto | 2 #=GF ID XYPPX 3 #=GF AC PF02162.8 4 #=GF DE XYPPX repeat 5 #=GF PI Rhodopsin_C; 6 #=GF AU Mian N, Bateman A 7 #=GF SE IPR000216 11 #=GF TP Repeat 16 #=GF AM globalfirst 17 #=GF DR PRINTS; PR00239; 31 #=GF CC composition. [all …]
|
/dports/math/gap/gap-4.11.0/tst/testinstall/ |
H A D | vspchom.tst | 11 GF(3) 13 GF(3^3) 50 GF(3^3) 77 GF(3^3) 194 GF(3) 382 Hom( GF(3), GF(3^3), ( GF(3)^2 ) ) 400 ZeroMapping( GF(3^3), ( GF(3)^2 ) ) 419 End( GF(3), GF(3^3) ) 423 ZeroMapping( GF(3^3), GF(3^3) ) 469 Basis( End( GF(3), GF(3^3) ), [all …]
|
H A D | ffe.tst | 100 AsField( GF(2^2), GF(2^4) ) 112 gap> AsField( GF(4), GF(16) ); 113 AsField( GF(2^2), GF(2^4) ) 118 AsField( GF(2^3), GF(2^6) ) 136 AsField( GF(2^2), GF(2^6) ) 140 AsField( GF(2^2), GF(2^12) ) 150 [ GF(3), GF(3^2), GF(3^4) ] 152 [ GF(2), GF(2^2), GF(2^3), GF(2^6) ] 343 gap> Conjugates( AsField( GF(4), GF(4) ), GF(2), Z(4) ); 355 gap> Norm( AsField( GF(8), GF(8) ), GF(2), Z(8) ); [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/constraints-0.12/tests/ |
H A D | GH55Spec.hs | 24 xf@(GF a) + GF b = GF $ (a+b) `mod` (natVal xf) 25 xf@(GF a) - GF b = GF $ (a-b) `mod` (natVal xf) 26 xf@(GF a) * GF b = GF $ (a*b) `mod` (natVal xf) 32 x :: GF 5 33 x = GF 3 35 y :: GF 5 36 y = GF 4 38 foo :: (KnownNat m, KnownNat n) => GF m -> GF n -> GF (Lcm m n) 39 foo m@(GF a) n@(GF b) = GF $ (a*b) `mod` (lcm (natVal m) (natVal n)) 41 bar :: (KnownNat m) => GF m -> GF m -> GF m [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/constraints-0.13/tests/ |
H A D | GH55Spec.hs | 24 xf@(GF a) + GF b = GF $ (a+b) `mod` (natVal xf) 25 xf@(GF a) - GF b = GF $ (a-b) `mod` (natVal xf) 26 xf@(GF a) * GF b = GF $ (a*b) `mod` (natVal xf) 32 x :: GF 5 33 x = GF 3 35 y :: GF 5 36 y = GF 4 38 foo :: (KnownNat m, KnownNat n) => GF m -> GF n -> GF (Lcm m n) 39 foo m@(GF a) n@(GF b) = GF $ (a*b) `mod` (lcm (natVal m) (natVal n)) 41 bar :: (KnownNat m) => GF m -> GF m -> GF m [all …]
|
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/constraints-0.12/tests/ |
H A D | GH55Spec.hs | 24 xf@(GF a) + GF b = GF $ (a+b) `mod` (natVal xf) 25 xf@(GF a) - GF b = GF $ (a-b) `mod` (natVal xf) 26 xf@(GF a) * GF b = GF $ (a*b) `mod` (natVal xf) 32 x :: GF 5 33 x = GF 3 35 y :: GF 5 36 y = GF 4 38 foo :: (KnownNat m, KnownNat n) => GF m -> GF n -> GF (Lcm m n) 39 foo m@(GF a) n@(GF b) = GF $ (a*b) `mod` (lcm (natVal m) (natVal n)) 41 bar :: (KnownNat m) => GF m -> GF m -> GF m [all …]
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/constraints-0.13/tests/ |
H A D | GH55Spec.hs | 24 xf@(GF a) + GF b = GF $ (a+b) `mod` (natVal xf) 25 xf@(GF a) - GF b = GF $ (a-b) `mod` (natVal xf) 26 xf@(GF a) * GF b = GF $ (a*b) `mod` (natVal xf) 32 x :: GF 5 33 x = GF 3 35 y :: GF 5 36 y = GF 4 38 foo :: (KnownNat m, KnownNat n) => GF m -> GF n -> GF (Lcm m n) 39 foo m@(GF a) n@(GF b) = GF $ (a*b) `mod` (lcm (natVal m) (natVal n)) 41 bar :: (KnownNat m) => GF m -> GF m -> GF m [all …]
|
/dports/math/dune-fem/dune-fem-d1c625e6d51167d0cce57de6adcef21f548a8f82/dune/fem/misc/ |
H A D | gridfunctionview.hh | 19 …template< class GF, bool isDiscreteFunction = std::is_base_of< Fem::IsDiscreteFunction, GF >::valu… 22 template< class GF > 23 struct GridFunctionView< GF, false > 24 : public BindableGridFunction<typename GF::GridPartType, typename GF::RangeType>, 27 using Base = BindableGridFunction<typename GF::GridPartType, typename GF::RangeType>; 54 template< class GF > 56 : public BindableGridFunctionWithSpace<typename GF::GridPartType, typename GF::RangeType>, 59 using Base = BindableGridFunctionWithSpace<typename GF::GridPartType, typename GF::RangeType>; 104 const GF &gf_; 114 template< class GF, [all …]
|
/dports/biology/viennarna/ViennaRNA-2.4.18/examples/files/ |
H A D | alignment_stockholm.stk | 3 #=GF AC RF01293 4 #=GF ID ACA59 6 #=GF AU Wilkinson A 9 #=GF GA 43.00 10 #=GF TC 44.90 11 #=GF NC 40.30 13 #=GF BM cmbuild -F CM SEED 16 #=GF DR snoRNABase; ACA59; 20 #=GF RN [1] 21 #=GF RM 15199136 [all …]
|
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/standard/ |
H A D | ffmat.tst | 39 gap> M := Matrix(GF(3), 75 > GF(2), 10); 124 Matrix(GF(3), []) 194 Matrix(GF(2^2), []) 197 Matrix(GF(2^2), []) 223 Matrix(GF(3^2), []) 245 Matrix(GF(2^4), []) 250 Matrix(GF(17), []) 331 Matrix(GF(11), []) 333 Matrix(GF(11), []) [all …]
|