Home
last modified time | relevance | path

Searched refs:LTL (Results 1 – 25 of 838) sorted by last modified time

12345678910>>...34

/dports/math/gap/gap-4.11.0/pkg/hap-1.25/lib/LieAlgebras/
H A DLieCover.gi12 q1, q2, tt1, tt2, ww, h, LTL, LVL, t, v7, I, II,
211 LTL:=C/I;
264 I3:=VectorSpace(K,Basis(LTL));
294 bLTL:=Basis(LTL);
296 g:= AlgebraHomomorphismByImages( LTL, L, bLTL , bL );;
H A DLieExteriorSquare.gi11 q1, q2, tt1, tt2, ww, h, LTL, LVL, t, v7, I, II,
205 LTL:=C/I;
207 #LTL:=Image(g1);
262 I3:=VectorSpace(K,Basis(LTL));
292 bLTL:=Basis(LTL);
294 g:= AlgebraHomomorphismByImages( LTL, L, bLTL , bL );;
H A DLeibnizQuasiCover.gi12 q1, q2, tt1, tt2, ww, h, LTL, LVL, t, v7, I, II,
210 LTL:=C/I;
242 I3:=VectorSpace(K,Basis(LTL));
272 bLTL:=Basis(LTL);
274 g:= AlgebraHomomorphismByImages( LTL, L, bLTL , bL );;
279 f:= AlgebraHomomorphismByImages( LTL, LL, bLTL , bL );
300 sp:=LeftModuleHomomorphismByImages(LL,LTL,Basis(LL),pif);
376 m:=Dimension(LTL);
H A DLieTensorSquare.gi11 q1, q2, tt1, tt2, ww, h, LTL, LVL, t, v7, I, II,
202 #LTL:=C/I;
204 LTL:=Image(g1);
257 I3:=VectorSpace(K,Basis(LTL));
287 bLTL:=Basis(LTL);
288 g:= AlgebraHomomorphismByImages( LTL, L, bLTL , bL );;
/dports/japanese/font-kanji26/ja-font-kanji26-1.0_3/
H A Dkanji26.ag579 MIXEZY4C,2^QT.G*R6=LTL]_OUNS6[,.9"2DQ7?OP'B]RWB<] /&2TRTG7NQ=
/dports/finance/grisbi/grisbi-2.0.5/pixmaps/flags/
H A DMakefile.in359 LSL.png LTL.png LUF.png LVL.png LYD.png MAD.png MDL.png MGF.png \
/dports/devel/spin/Spin-version-6.5.0/Src/
H A Dspin.y77 %token STRING CLAIM TRACE INIT LTL /* sym */
201 ltl : LTL optname2 { ltl_mode = 1; ltl_name = $2->sym->name; }
/dports/devel/spin/Spin-version-6.5.0/optional_gui/
H A Dispin.tcl5509 {{Spin LTL template format} {.ltl} }
/dports/devel/plan9port/plan9port-1f098efb7370a0b28306d10681e21883fb1c1507/src/cmd/
H A Dsed.c169 char LTL[] = "Label too long: %S"; variable
356 quit(LTL, (char *) linebuf); in fcomp()
440 quit(LTL, (char *) linebuf); in fcomp()
/dports/editors/libreoffice/libreoffice-7.2.6.2/
H A DChangeLog1104769 added Lithuanian "LTL" to EUROCONVERT(), CONVERT()
1104778 added LTL Lithuanian Litas to Euro Converter
/dports/net/wireshark-lite/wireshark-3.6.1/radius/
H A Ddictionary.cisco.vpn300050 ATTRIBUTE CVPN3000-IPSec-LTL-Keepalives 25 integer
249 VALUE CVPN3000-IPSec-LTL-Keepalives OFF 0
250 VALUE CVPN3000-IPSec-LTL-Keepalives ON 1
/dports/net/wireshark/wireshark-3.6.1/radius/
H A Ddictionary.cisco.vpn300050 ATTRIBUTE CVPN3000-IPSec-LTL-Keepalives 25 integer
249 VALUE CVPN3000-IPSec-LTL-Keepalives OFF 0
250 VALUE CVPN3000-IPSec-LTL-Keepalives ON 1
/dports/net/tshark/wireshark-3.6.1/radius/
H A Ddictionary.cisco.vpn300050 ATTRIBUTE CVPN3000-IPSec-LTL-Keepalives 25 integer
249 VALUE CVPN3000-IPSec-LTL-Keepalives OFF 0
250 VALUE CVPN3000-IPSec-LTL-Keepalives ON 1
/dports/net/tshark-lite/wireshark-3.6.1/radius/
H A Ddictionary.cisco.vpn300050 ATTRIBUTE CVPN3000-IPSec-LTL-Keepalives 25 integer
249 VALUE CVPN3000-IPSec-LTL-Keepalives OFF 0
250 VALUE CVPN3000-IPSec-LTL-Keepalives ON 1
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/erts/emulator/test/
H A Dprocess_SUITE.erl2644 LTL = spawn_opt(fun () ->
2648 false = erlang:check_process_code(element(1, LTL), nonexisting_module),
2649 true = erlang:garbage_collect(element(1, LTL)),
2653 end, [LTL | HTLs]),
2659 end, [LTL | HTLs]),
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/erts/emulator/test/
H A Dprocess_SUITE.erl3634 LTL = spawn_opt(fun () ->
3638 false = erlang:check_process_code(element(1, LTL), nonexisting_module),
3639 true = erlang:garbage_collect(element(1, LTL)),
3643 end, [LTL | HTLs]),
3649 end, [LTL | HTLs]),
/dports/security/vaultwarden/web-vault/app/
H A Dvendor.8e5494e39b48bad5e654.js.map1 …LTL': [undefined, 'Lt'],\n 'LUF': [undefined, undefined, 0],\n 'LVL': [undefined, 'Ls'],\n …
/dports/editors/texstudio/texstudio-4.1.2/utilities/dictionaries/
H A Dgl_GL-Galician.dic129287 LTL
129288 LTL po:símbolo
H A Det_ET-Estonian.dic357 LTL/Z
/dports/www/dooble/dooble-2021.12.05/Dictionaries/et_EE/
H A Det_EE.dic357 LTL/Z
/dports/devel/kf5-kunitconversion/kunitconversion-5.89.0/po/ast/
H A Dkunitconversion5.po2934 msgctxt "LTL Lithuanian Litas - unit synonyms for matching user input"
/dports/devel/kf5-kunitconversion/kunitconversion-5.89.0/po/az/
H A Dkunitconversion5.po2937 msgctxt "LTL Lithuanian Litas - unit synonyms for matching user input"
/dports/devel/kf5-kunitconversion/kunitconversion-5.89.0/po/el/
H A Dkunitconversion5.po3183 msgctxt "LTL Lithuanian Litas - unit synonyms for matching user input"
/dports/devel/kf5-kunitconversion/kunitconversion-5.89.0/po/fr/
H A Dkunitconversion5.po2946 msgctxt "LTL Lithuanian Litas - unit synonyms for matching user input"
/dports/devel/kf5-kunitconversion/kunitconversion-5.89.0/po/ia/
H A Dkunitconversion5.po2940 msgctxt "LTL Lithuanian Litas - unit synonyms for matching user input"

12345678910>>...34