Home
last modified time | relevance | path

Searched refs:GF (Results 1 – 25 of 3551) sorted by relevance

12345678910>>...143

/dports/math/spot/spot-2.10.2/bench/spin13/
H A Dnew-strong2.ltl1 (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 Dnew-weak3.ltl1 (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 Dnew-strong1.ltl1 (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 Dnew-fair2.ltl2 (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 Dnew-strong2.ltl1 (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 Dnew-weak3.ltl1 (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 Dnew-strong1.ltl1 (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 Dnew-fair2.ltl2 (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 Dcat1algdata.g11 [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 Dtestaln.stockholm2 #=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 Drfam_seed_many_short.stk3 #=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 Dalignment_stockholm.stk3 #=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 Dminifam2 #=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 DXYPPX.sto2 #=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 Dminifam2 #=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 DXYPPX.sto2 #=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 Dvspchom.tst11 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 Dffe.tst100 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 DGH55Spec.hs24 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 DGH55Spec.hs24 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 DGH55Spec.hs24 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 DGH55Spec.hs24 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 Dgridfunctionview.hh19 …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 Dalignment_stockholm.stk3 #=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 Dffmat.tst39 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 …]

12345678910>>...143