| /dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/ |
| H A D | README | 4 - Decide where to install the files . The simplest approach is to use
22 - The configuration is stored in the file "config.mk". Look here if
48 minisat/simp/ An extended solver with simplification capabilities
|
| /dports/math/gap/gap-4.11.0/pkg/qpa-version-1.30/lib/ |
| H A D | modulehom.gi | 626 # Checking if the algebra <A> is finite dimensional. If it is and is
1442 Error("the scalar is not in the same field as the algbra is over,");
2810 ## This function returns true is the homomorphism <f> is right
2844 ## This function returns true is the homomorphism <f> is left
3265 ## <f> is a map which is iso.
3299 ## is sent to the list <genImages>, that is, B[i] is sent to genImages[i].
3373 ## <projections> is a list of m maps, <matrix> is a list of
3573 ## but this is a TODO improvement). If the endomorphism ring of <M> is
3869 simp;
3888 simp := SubRepresentationInclusion( Source( b ), BasisVectors( Basis( s ) ) );
[all …]
|
| H A D | moduledecomp.gi | 101 local map, semi, simp, cents, prims, i;
109 simp := FLMLORByGenerators( LeftActingDomain(a), BasisVectors(Basis(semi*i)));
110 SetParent(simp, a);
111 SetOne(simp, i);
112 SetMultiplicativeNeutralElement(simp, i);
113 SetFilterObj(simp, IsAlgebraWithOne);
114 prims := Concatenation(prims,PrimitiveIdempotents(simp));
245 ## rest, and continue as above until rest is empty.
341 …Error("entered map is not a IsAlgebraGeneralMapping or the entered element is not in the range of …
453 ## field. If <M> is zero, then <M> is returned.
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/quagroup-1.8.2/gap/ |
| H A D | fileacc.gi | 37 r.simp:= SimpleSystem(R);
84 SetSimpleSystem( R, r.simp );
281 … Error("Currently WriteModueToFile is only implemented for generic quantized enveloping algebras");
332 …Error("Currently ReadModueFromFile is only implemented for generic quantized enveloping algebras");
|
| H A D | roots.gi | 24 simp, posR, rt;
29 #+ `[ "A", 3, "F", 4 ]', then the root system of type $A_3+F_4$ is
34 simp:= [ ];
143 # We determine whether a+ej is a root (where ej is the j-th
168 Append( simp, posr{[1..n]} );
179 SetSimpleSystem( R, simp );
183 SetSimpleSystemNF( R, simp );
195 #+ The second format is short for RootSystem( [ t, n ] ).
336 # the same element. The output is a list of elementary moves,
360 # u is now a third rep of the same elt, but ending with i,j
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/HeLP-3.5/doc/ |
| H A D | manual.six | 59 [ "\033[1X\033[33X\033[0;-2YCheck whether Zassenhaus Conjecture is known fro\
61 "check whether zassenhaus conjecture is known from theoretical results",
80 "\033[1X\033[33X\033[0;-2YA complete example: (PQ) for the MacLaughlin simp\
117 "\033[1X\033[33X\033[0;-2YHow much 4ti2 and normaliz is really there?\033[1\
119 "how much 4ti2 and normaliz is really there?", "X85FD09B67E460537" ],
|
| /dports/math/gap/gap-4.11.0/pkg/PatternClass-2.4.2/lib/ |
| H A D | decomp.gi | 2 ## This program is free software: you can redistribute it and/or modify
7 ## This program is distributed in the hope that it will be useful,
26 ## to check whether perm is a plus-decomposable permutation.
28 ## Side Note: The permutation [1,2] (encoded as [1,1]) is seen as a
30 ## a permutation, eventhough it is also a simple permutation.
68 ## Side Note: The permutation [2,1] (encoded as [2,1]) is seen as a
70 ## a permutation, eventhough it is also a simple permutation.
417 local p,i,j,a,temp,simp,min,max;
429 #j is end of interval, counting down for each i, to get the maximal
458 simp:=OnTuples([1..Length(temp)],Sortex(temp));
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/ctbllib/gap4/ |
| H A D | ctdbattr.g | 102 ## If this is possible then `true' or `false' is returned,
1282 simp:= tbl / cen;
1283 if IsSimpleCharacterTable( simp ) then
1284 type:= IsomorphismTypeInfoFiniteSimpleGroup( simp );
1300 if not IsEmpty( simp ) then
1301 simp:= simp[1][1];
1717 if not IsEmpty( simp )
1719 simp:= simp[1][1];
1743 info:= ExtensionInfoCharacterTable( simp )[2];
1749 elif Size( tbl ) / Size( simp ) in info[2]
[all …]
|
| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | maxima.system | 23 ;; asdf::*output-translations* is not NIL when maxima is restarted.
25 ;; the translations are wrong. The solution is to clear the
142 ;; If a file is declared as private-file it is loaded
527 ((:file "simp")
746 ;; If a file is declared as private-file it is loaded
|
| /dports/mail/thunderbird/thunderbird-91.8.0/layout/style/res/ |
| H A D | counterstyles.css | 1 /* This Source Code Form is subject to the terms of the Mozilla Public
81 /* hebrew is not included because our builtin algorithm can generate a wider
221 /* only alias is included as other complex counter styles will be generated by
347 @counter-style -moz-simp-chinese-informal {
348 system: extends simp-chinese-informal;
351 @counter-style -moz-simp-chinese-formal {
352 system: extends simp-chinese-formal;
|
| /dports/mail/thunderbird/thunderbird-91.8.0/intl/locales/hu/hyphenation/ |
| H A D | hyph_hu.dic | 5140 a2óis
31141 i2óis
31507 isá1ra
31516 isá1ro
31551 isé1ge
31553 isé1gé
31555 isé1gi
31564 isé1ve
31567 isé1vé
31632 isö2r
[all …]
|
| /dports/www/firefox/firefox-99.0/layout/style/res/ |
| H A D | counterstyles.css | 1 /* This Source Code Form is subject to the terms of the Mozilla Public
81 /* hebrew is not included because our builtin algorithm can generate a wider
221 /* only alias is included as other complex counter styles will be generated by
347 @counter-style -moz-simp-chinese-informal {
348 system: extends simp-chinese-informal;
351 @counter-style -moz-simp-chinese-formal {
352 system: extends simp-chinese-formal;
|
| /dports/www/firefox/firefox-99.0/intl/locales/hu/hyphenation/ |
| H A D | hyph_hu.dic | 5140 a2óis
31141 i2óis
31507 isá1ra
31516 isá1ro
31551 isé1ge
31553 isé1gé
31555 isé1gi
31564 isé1ve
31567 isé1vé
31632 isö2r
[all …]
|
| /dports/www/firefox-esr/firefox-91.8.0/layout/style/res/ |
| H A D | counterstyles.css | 1 /* This Source Code Form is subject to the terms of the Mozilla Public
81 /* hebrew is not included because our builtin algorithm can generate a wider
221 /* only alias is included as other complex counter styles will be generated by
347 @counter-style -moz-simp-chinese-informal {
348 system: extends simp-chinese-informal;
351 @counter-style -moz-simp-chinese-formal {
352 system: extends simp-chinese-formal;
|
| /dports/www/firefox-esr/firefox-91.8.0/intl/locales/hu/hyphenation/ |
| H A D | hyph_hu.dic | 5140 a2óis
31141 i2óis
31507 isá1ra
31516 isá1ro
31551 isé1ge
31553 isé1gé
31555 isé1gi
31564 isé1ve
31567 isé1vé
31632 isö2r
[all …]
|
| /dports/games/kgoldrunner/kgoldrunner-21.12.3/po/pt/ |
| H A D | kgoldrunner.po | 422 "mummies is not so hard - but getting treasure away from the mummies is a "
752 "but it is much harder."
812 "The only challenge is getting inside the 0, which is the only path to the "
1364 #. original author of KGoldrunner, who is German. The movie is known as
1722 "É bom ser simpático para o seu companheiro: provavelmente terá de seguir com "
2277 "The rest is a bit hard, but it is easy to understand how to do it. In "
4376 "is still tight.\n"
4964 "One is to wait next to the trap and when the enemy is half-way up the "
5560 "left and lower left that is walled off from the rest. This section is "
7510 "pit he is in."
[all …]
|
| /dports/games/kgoldrunner/kgoldrunner-21.12.3/po/pt_BR/ |
| H A D | kgoldrunner.po | 424 "mummies is not so hard - but getting treasure away from the mummies is a "
762 "but it is much harder."
822 "The only challenge is getting inside the 0, which is the only path to the "
1387 #. original author of KGoldrunner, who is German. The movie is known as
1751 "É bom ser simpático para o seu companheiro: você provavelmente terá que "
2306 "The rest is a bit hard, but it is easy to understand how to do it. In "
4009 "is still tight.\n"
4596 "One is to wait next to the trap and when the enemy is half-way up the "
5180 "left and lower left that is walled off from the rest. This section is "
7130 "pit he is in."
[all …]
|
| /dports/graphics/kipi-plugins/kipi-plugins-21.12.3/ |
| H A D | ChangeLog | 11148 MOVED}/removeredeyes/detection/locators/haarclassifier/widgets/simp
11150 MOVED}/removeredeyes/detection/locators/haarclassifier/widgets/simp
38265 the patch is one is based on. CCBUG: 324239
59173 when dioalog is closed. there is a chance is to see a race
105076 is pressed, the slideshow is interrupted until the spacebar is
114495 MOVED}/removeredeyes/detection/locators/haarclassifier/widgets/simp
114497 MOVED}/removeredeyes/detection/locators/haarclassifier/widgets/simp
136425 when dioalog is closed. there is a chance is to see a race
182804 is pressed, the slideshow is interrupted until the spacebar is
197589 when dioalog is closed. there is a chance is to see a race
[all …]
|
| /dports/lang/php80/php-8.0.15/ext/standard/tests/strings/ |
| H A D | chunk_split_variation4.phpt | 7 * with 'chunklen' 4 and default value of 'ending' that is "\r\n"
26 This is simple heredoc string
46 This is to check chunk_split
55 which is single slash
94 is
95 simp
104 is
165 h is
|
| /dports/www/mod_php80/php-8.0.15/ext/standard/tests/strings/ |
| H A D | chunk_split_variation4.phpt | 7 * with 'chunklen' 4 and default value of 'ending' that is "\r\n"
26 This is simple heredoc string
46 This is to check chunk_split
55 which is single slash
94 is
95 simp
104 is
165 h is
|
| /dports/editors/emacs-devel/emacs-4d1968b/doc/misc/ |
| H A D | calc.texi | 858 is
875 is
899 is
917 is
5921 is
11253 is
17139 argument is omitted, 1 year is assumed. There is no keyboard
23158 is inconsistent and is left alone. Otherwise, it is rewritten
34156 is already an HMS form it is returned as-is.
34163 is returned as-is.
[all …]
|
| /dports/editors/emacs-devel/emacs-4d1968b/lisp/gnus/ |
| H A D | ChangeLog.2 | 636 (spam-stat-buffer-is-spam, spam-stat-buffer-is-non-spam)
1094 is non-nil.
2063 is requested but the message is not spam.
8716 twice by saving the simplified subject string in simp-subject.
9793 image is not available if window-system is not available.
9879 is non-nil.
10980 is converted to an article, its data is encoded in base64.
12045 (nnfolder-nov-is-evil, nnfolder-marks-is-evil): Fix doc.
12621 is nil.
12777 * mml.el (mml-preview): Bind message-this-is-news if it is
[all …]
|
| /dports/net/wireshark/wireshark-3.6.1/ |
| H A D | services | 1 # This is a local copy of the IANA port-numbers file.
6 # It is subject to copyright and being used with IANA's permission:
12 # The format is the same as that used for services(5). It is allowed to merge
438 shell 514/tcp # cmd like exec, but automatic authentication is performed as for login server
442 …ortunately, doesn't use link protocol (this is actually just a rendezvous port from which a tcp co…
1656 simp-all 1959/tcp/udp # SIMP Channel
3690 bv-is 3990/tcp/udp # BindView-IS
5887 netspeak-is 21846/tcp/udp # NetSpeak Corp. Directory Services
5899 easyengine 22222/tcp # EasyEngine is CLI tool to manage WordPress Sites on Nginx server
6025 eldim 31337/tcp/udp # eldim is a secure file upload proxy
[all …]
|
| /dports/net/wireshark-lite/wireshark-3.6.1/ |
| H A D | services | 1 # This is a local copy of the IANA port-numbers file.
6 # It is subject to copyright and being used with IANA's permission:
12 # The format is the same as that used for services(5). It is allowed to merge
438 shell 514/tcp # cmd like exec, but automatic authentication is performed as for login server
442 …ortunately, doesn't use link protocol (this is actually just a rendezvous port from which a tcp co…
1656 simp-all 1959/tcp/udp # SIMP Channel
3690 bv-is 3990/tcp/udp # BindView-IS
5887 netspeak-is 21846/tcp/udp # NetSpeak Corp. Directory Services
5899 easyengine 22222/tcp # EasyEngine is CLI tool to manage WordPress Sites on Nginx server
6025 eldim 31337/tcp/udp # eldim is a secure file upload proxy
[all …]
|
| /dports/net/tshark-lite/wireshark-3.6.1/ |
| H A D | services | 1 # This is a local copy of the IANA port-numbers file.
6 # It is subject to copyright and being used with IANA's permission:
12 # The format is the same as that used for services(5). It is allowed to merge
438 shell 514/tcp # cmd like exec, but automatic authentication is performed as for login server
442 …ortunately, doesn't use link protocol (this is actually just a rendezvous port from which a tcp co…
1656 simp-all 1959/tcp/udp # SIMP Channel
3690 bv-is 3990/tcp/udp # BindView-IS
5887 netspeak-is 21846/tcp/udp # NetSpeak Corp. Directory Services
5899 easyengine 22222/tcp # EasyEngine is CLI tool to manage WordPress Sites on Nginx server
6025 eldim 31337/tcp/udp # eldim is a secure file upload proxy
[all …]
|