Home
last modified time | relevance | path

Searched refs:aut1 (Results 26 – 50 of 50) sorted by relevance

12

/dports/math/gap/gap-4.11.0/pkg/PatternClass-2.4.2/lib/
H A Dautomata.gi22 #F NDIntersectionAutomaton(aut1,aut2)
160 #F NDUnionAutomata(aut1,aut2)
221 #F NDProductOfLanguages(aut1,aut2)
H A Ddecomp.gd142 #F ClassDirectSum(aut1,aut2)
145 ## class of the direct sum of the regular classes aut1 and aut2.
H A Ddecomp.gi320 #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 Dfldabnum.gi1768 #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 Dfldabnum.gi1757 #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 Dghom.gi1168 #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 Dgp2obj.tst184 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 Dgpd2obj.gi168 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 Dtheory_str_regex.cpp786 …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 Dtheory_str.h573 unsigned estimate_automata_intersection_difficulty(eautomaton * aut1, eautomaton * aut2);
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dtheory_str_regex.cpp812 …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 Dtheory_str.h625 unsigned estimate_automata_intersection_difficulty(eautomaton * aut1, eautomaton * aut2);
/dports/math/gap/gap-4.11.0/pkg/automata-1.14/gap/
H A Ddrawgraph.gi371 # aut1 := A[1];
376 # aut1 := A[1];
/dports/games/triplane/triplane-classic-1.08.r20130224/data/
H A Dfokker.lst174 data/terrain/aut1.pgd
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/misc/discrepancy/
H A Dbiosource_tests.cpp1837 string aut1, aut2; variable
1842 aut1 = *p;
1848 if (aut1 != tax1 || aut2 != tax2) {
/dports/math/spot/spot-2.10.2/tests/python/
H A Dstutter-inv.ipynb1073 "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 Dalternation.ipynb34 "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 Dstutter-inv.ipynb1073 "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 Dalternation.ipynb34 "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 Dpcx.lst74 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 Dgrape.g4931 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 Dalgebras.c417 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 DNEWS1571 - 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 DNEWS1571 - 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 Dpl.po15127 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 ...]]"

12