/dports/math/gap/gap-4.11.0/pkg/PatternClass-2.4.2/lib/ |
H A D | automata.gi | 22 #F NDIntersectionAutomaton(aut1,aut2) 160 #F NDUnionAutomata(aut1,aut2) 221 #F NDProductOfLanguages(aut1,aut2)
|
H A D | decomp.gd | 142 #F ClassDirectSum(aut1,aut2) 145 ## class of the direct sum of the regular classes aut1 and aut2.
|
H A D | decomp.gi | 320 #F ClassDirectSum(aut1,aut2) 323 ## class of the direct sum of the regular classes aut1 and aut2.
|
/dports/math/gap/gap-4.11.0/hpcgap/lib/ |
H A D | fldabnum.gi | 1768 #M \=( <aut1>, <aut2> ) . . . . for automorphisms of abelian number fields 1777 function ( aut1, aut2 ) 1778 return Source( aut1 ) = Source( aut2 ) 1779 and aut1!.galois = aut2!.galois; 1805 #M \<( <aut1>, <aut2> ) . . . . for automorphisms of abelian number fields 1812 function ( aut1, aut2 ) 1813 return Source( aut1 ) < Source( aut2 ) 1814 or ( Source( aut1 ) = Source( aut2 ) 1815 and aut1!.galois < aut2!.galois ); 1956 function ( aut1, aut2 ) [all …]
|
/dports/math/gap/gap-4.11.0/lib/ |
H A D | fldabnum.gi | 1757 #M \=( <aut1>, <aut2> ) . . . . for automorphisms of abelian number fields 1766 function ( aut1, aut2 ) 1767 return Source( aut1 ) = Source( aut2 ) 1768 and aut1!.galois = aut2!.galois; 1794 #M \<( <aut1>, <aut2> ) . . . . for automorphisms of abelian number fields 1801 function ( aut1, aut2 ) 1802 return Source( aut1 ) < Source( aut2 ) 1803 or ( Source( aut1 ) = Source( aut2 ) 1804 and aut1!.galois < aut2!.galois ); 1945 function ( aut1, aut2 ) [all …]
|
H A D | ghom.gi | 1168 #M CompositionMapping2( <aut1>, <aut2> ) . for two conjugator automorphisms 1174 function( aut1, aut2 ) 1175 if not IsIdenticalObj( Source( aut1 ), Range( aut2 ) ) then 1180 * ConjugatorOfConjugatorIsomorphism( aut1 ) );
|
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/tst/manual/ |
H A D | gp2obj.tst | 184 gap> aut1 := GroupHomomorphismByImages( d16, d16, [b1,b2], [b1^5,b2] );; 186 gap> aut16 := Group( [ aut1, aut2 ] );; 187 gap> act16 := GroupHomomorphismByImages( sk4, aut16, [b1^4,b2], [aut1,aut2] );;
|
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/lib/ |
H A D | gpd2obj.gi | 168 fact := function(a) local i,j,g,imobs,aut1,autg,aut2,aut; 175 aut1 := GroupoidAutomorphismByObjectPerm( src, imobs ); 178 aut := aut1 * aut2;
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_str_regex.cpp | 786 …unsigned theory_str::estimate_automata_intersection_difficulty(eautomaton * aut1, eautomaton * aut… in estimate_automata_intersection_difficulty() argument 787 ENSURE(aut1 != nullptr); in estimate_automata_intersection_difficulty() 789 return _qmul(aut1->num_states(), aut2->num_states()); in estimate_automata_intersection_difficulty()
|
H A D | theory_str.h | 573 unsigned estimate_automata_intersection_difficulty(eautomaton * aut1, eautomaton * aut2);
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | theory_str_regex.cpp | 812 …unsigned theory_str::estimate_automata_intersection_difficulty(eautomaton * aut1, eautomaton * aut… in estimate_automata_intersection_difficulty() argument 813 ENSURE(aut1 != nullptr); in estimate_automata_intersection_difficulty() 815 return _qmul(aut1->num_states(), aut2->num_states()); in estimate_automata_intersection_difficulty()
|
H A D | theory_str.h | 625 unsigned estimate_automata_intersection_difficulty(eautomaton * aut1, eautomaton * aut2);
|
/dports/math/gap/gap-4.11.0/pkg/automata-1.14/gap/ |
H A D | drawgraph.gi | 371 # aut1 := A[1]; 376 # aut1 := A[1];
|
/dports/games/triplane/triplane-classic-1.08.r20130224/data/ |
H A D | fokker.lst | 174 data/terrain/aut1.pgd
|
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/misc/discrepancy/ |
H A D | biosource_tests.cpp | 1837 string aut1, aut2; variable 1842 aut1 = *p; 1848 if (aut1 != tax1 || aut2 != tax2) {
|
/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | stutter-inv.ipynb | 1073 "aut1 = spot.translate(g1)\n", 1074 "aut1.set_name(str(g1))\n", 1075 "spot.highlight_stutter_invariant_states(aut1, g1, 5)\n", 1076 "display(aut1)\n", 1283 "aut = spot.sum(aut1, aut2)\n",
|
H A D | alternation.ipynb | 34 "aut1, aut2, aut3, aut4, aut5 = spot.automata('''\n", 711 "display_inline(aut1, aut2, aut3, aut4, aut5)" 1404 "display_inline(aut1, aut2, aut3, aut4, aut5, show='.bav1')" 2032 "display_inline(aut1, aut2, aut3, aut4, aut5, show='.bav1u')" 2704 "display_inline(aut1, aut2, aut3, aut4, aut5, show='.bav1us')" 3213 "nba1t = spot.remove_alternation(aut1, True)\n", 3215 "display_inline(aut1.show('.bav1u'), nba1t, nba1)" 3222 …"Let's apply this process to the other 4 automata (which are not very-weak, unlike `aut1`). The s…
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | stutter-inv.ipynb | 1073 "aut1 = spot.translate(g1)\n", 1074 "aut1.set_name(str(g1))\n", 1075 "spot.highlight_stutter_invariant_states(aut1, g1, 5)\n", 1076 "display(aut1)\n", 1283 "aut = spot.sum(aut1, aut2)\n",
|
H A D | alternation.ipynb | 34 "aut1, aut2, aut3, aut4, aut5 = spot.automata('''\n", 711 "display_inline(aut1, aut2, aut3, aut4, aut5)" 1404 "display_inline(aut1, aut2, aut3, aut4, aut5, show='.bav1')" 2032 "display_inline(aut1, aut2, aut3, aut4, aut5, show='.bav1u')" 2704 "display_inline(aut1, aut2, aut3, aut4, aut5, show='.bav1us')" 3213 "nba1t = spot.remove_alternation(aut1, True)\n", 3215 "display_inline(aut1.show('.bav1u'), nba1t, nba1)" 3222 …"Let's apply this process to the other 4 automata (which are not very-weak, unlike `aut1`). The s…
|
/dports/games/triplane/triplane-classic-1.08.r20130224/data_src/ |
H A D | pcx.lst | 74 data/terrain/aut1.pgd data_src/pcx/terrain/aut1.pcx \\x41\\x55\\x54\\x31\\x00\\x7e\\x00 \\x00 15 18
|
/dports/math/gap/gap-4.11.0/pkg/grape-4.8.3/lib/ |
H A D | grape.g | 4931 local gamma1,gamma2,col1,col2,u,g,i,j,x,aut1,aut2,adj1,adj2,reps1; 4965 aut1:=gamma1.autGroup; 4967 if aut1^perm<>aut2 then 4971 aut1:=Group(()); 4974 # So now, either aut1 and aut2 are both trivial, or they 4976 # and aut1^perm=aut2. 4977 reps1:=GRAPE_OrbitNumbers(aut1,gamma1.order).representatives;
|
/dports/math/pari/pari-2.13.3/src/modules/ |
H A D | algebras.c | 417 GEN nf, P1, P2, aut1, aut2, b1, b2, C, rnf, aut, b, x1, x2, al; in algtensor() local 428 P1=alg_get_splitpol(al1); aut1=alg_get_aut(al1); b1=alg_get_b(al1); in algtensor() 445 aut = gadd(gsubst(aut2,v,x2),gmulsg(k,gsubst(aut1,v,x1))); in algtensor()
|
/dports/math/spot/spot-2.10.2/ |
H A D | NEWS | 1571 - aut1->exclusive_word(aut2) is a new method that returns a word 1572 accepted by aut1 or aut2 but not both. The exclusive_run()
|
/dports/math/py-spot/spot-2.10.2/ |
H A D | NEWS | 1571 - aut1->exclusive_word(aut2) is a new method that returns a word 1572 accepted by aut1 or aut2 but not both. The exclusive_run()
|
/dports/multimedia/mkvtoolnix/mkvtoolnix-65.0.0/po/ |
H A D | pl.po | 15127 msgstr "attachments [opcje] [AID1:aut1 [AID2:aut2 ...]]" 15216 msgstr "cues [opcje] [TID1:aut1 [TID2:aut2 ...]]" 15874 msgstr "timestamps_v2 [TID1:aut1 [TID2:aut2 ...]]" 15909 msgstr "tracks [opcje] [TID1:aut1 [TID2:aut2 ...]]"
|