/dports/math/gap/gap-4.11.0/pkg/unitlib-4.0.0/lib/ |
H A D | parunits.g | 19 KG := ValueGlobal( name ); 20 e := One( KG ); 21 wb := WeightedBasis( KG ); 51 KG := ValueGlobal( name ); 52 e := One( KG ); 53 wb := WeightedBasis( KG ); 73 function( KG ) 84 e := One( KG ); 88 wb := WeightedBasis( KG ); 117 if IsCommutative(KG) then [all …]
|
H A D | unitlib.g | 15 local G, p, K, KG, filename, libfile, gzfile, code, V, i, fam; 20 Print( "WARNING : the library of V(KG) for groups of order ", n, 30 KG:= GroupRing( K, G ); 93 Info( LAGInfo, 1, "Data retrieved successfully, starting generation of V(KG) ..." ); 97 Info( LAGInfo, 1, "Description of V(KG) for G=SmallGroup(",n,",",nLibNumber, 111 SetPcNormalizedUnitGroup( KG, V ); 112 SetUnderlyingGroupRing( V, KG ); 123 local p, K, KG, V, codestring, libfile, output, d, x; 128 Print( "WARNING : the normalized unit group V(KG) of the modular group algebra \n", 136 KG:= GroupRing( K, G ); [all …]
|
/dports/math/gap/gap-4.11.0/pkg/laguna-3.9.3/lib/ |
H A D | laguna.gi | 208 function(KG,x) 616 KG -> AugmentationIdeal(KG) ); 628 function(KG) 632 o:=One(KG); 661 function(KG) 767 function(KG) 1347 return One(KG) + x - Augmentation( x ) * One(KG); 1555 a := a^Embedding( UnderlyingGroup(KG), KG); 1556 g := g^Embedding( UnderlyingGroup(KG), KG); 1581 a := a^Embedding( UnderlyingGroup(KG), KG); [all …]
|
H A D | laguna.g | 13 ## PcPresentationOfNormalizedUnit( KG ) 16 ## For a group algebra KG this function returns another function, 17 ## which for a given element x of KG will return corresponding 21 PcPresentationOfNormalizedUnit := function( KG ) 25 coeffs := NormalizedUnitCF( KG, x ); 26 gens := GeneratorsOfGroup( PcNormalizedUnitGroup( KG )); 27 w := One( PcNormalizedUnitGroup( KG )); 29 if not coeffs[i] = Zero( LeftActingDomain( KG ) ) then
|
H A D | laguna.gd | 221 #A WeightedBasis( <KG> ) 291 #O NormalizedUnitCF( <KG>, <u> ) 312 #A NormalizedUnitGroup( <KG> ) 319 #A PcNormalizedUnitGroup( <KG> ) 329 ## group V(KG) over 1+I^n, where I is the augmentation ideal of KG 336 #A PcUnits( <KG> ) 359 #A GroupBases( <KG> ) 411 #A BicyclicUnitGroup( <V(KG)> ) 413 ## KG is a modular group algebra and V(KG) is its normalized unit group. 422 #A UnitarySubgroup( <V(KG)> ) [all …]
|
/dports/math/gap/gap-4.11.0/pkg/laguna-3.9.3/tst/ |
H A D | laguna04.tst | 36 gap> G := UnderlyingGroup( KG ); 43 gap> UnderlyingRing( KG ); 50 gap> UnderlyingField( KG ); 143 gap> IsUnit( KG, y ); 210 gap> AugmentationIdeal( KG ); 218 gap> RadicalOfAlgebra( KG ); 221 gap> RadicalOfAlgebra( KG ) = AugmentationIdeal( KG ); 228 gap> WeightedBasis( KG ); 346 gap> U := Units( KG ); 365 gap> W := PcUnits( KG ); [all …]
|
H A D | laguna02.tst | 17 gap> KG := GroupRing( K, G ); 22 gap> IsGroupAlgebra( KG ); 28 gap> UnderlyingGroup( KG ); 30 gap> LeftActingDomain( KG ); 35 gap> UnderlyingRing( KG ); 37 gap> UnderlyingField( KG ); 72 gap> IsUnit( KG, x ); 79 gap> IsUnit( KG, y ); 106 gap> AugmentationIdeal( KG ); 109 gap> RadicalOfAlgebra( KG ) = AugmentationIdeal( KG ); [all …]
|
/dports/security/sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/ipc/src/ |
H A D | keygrip.rs | 332 use super::Keygrip as KG; in our_keys() 335 let keygrips: HashMap<FP, KG> = [ in our_keys() 338 "71ADDE3BBC0B7F1BFC2DA414C4F473B197763733".parse::<KG>().unwrap()), in our_keys() 340 "CB6149C50DF90DC88626283A6B6C918A1C29E37D".parse::<KG>().unwrap()), in our_keys() 343 "C45986381F54F967C2F6B104521C8634090F326A".parse::<KG>().unwrap()), in our_keys() 345 "BE2FE8C8793141322AC30E3EAFD1E4F9D8DACCC4".parse::<KG>().unwrap()), in our_keys() 347 "9873FD355DE470DDC151CD9919AC9785C3C2FDDE".parse::<KG>().unwrap()), in our_keys() 349 "9483454871CC1239D4C2A1416F2742D39A14DB14".parse::<KG>().unwrap()), in our_keys() 352 "D3E87BECEF18FB4C561F3C4E73A92C4D7A43FD90".parse::<KG>().unwrap()), in our_keys() 355 "DD143ABA8D1D7D09875D6209E01BCF020788FF77".parse::<KG>().unwrap()), in our_keys() [all …]
|
/dports/security/py-sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/ipc/src/ |
H A D | keygrip.rs | 332 use super::Keygrip as KG; in our_keys() 335 let keygrips: HashMap<FP, KG> = [ in our_keys() 338 "71ADDE3BBC0B7F1BFC2DA414C4F473B197763733".parse::<KG>().unwrap()), in our_keys() 340 "CB6149C50DF90DC88626283A6B6C918A1C29E37D".parse::<KG>().unwrap()), in our_keys() 343 "C45986381F54F967C2F6B104521C8634090F326A".parse::<KG>().unwrap()), in our_keys() 345 "BE2FE8C8793141322AC30E3EAFD1E4F9D8DACCC4".parse::<KG>().unwrap()), in our_keys() 347 "9873FD355DE470DDC151CD9919AC9785C3C2FDDE".parse::<KG>().unwrap()), in our_keys() 349 "9483454871CC1239D4C2A1416F2742D39A14DB14".parse::<KG>().unwrap()), in our_keys() 352 "D3E87BECEF18FB4C561F3C4E73A92C4D7A43FD90".parse::<KG>().unwrap()), in our_keys() 355 "DD143ABA8D1D7D09875D6209E01BCF020788FF77".parse::<KG>().unwrap()), in our_keys() [all …]
|
/dports/print/epson-inkjet-printer-escpr/epson-inkjet-printer-escpr-1.7.17/ppd/ |
H A D | Epson-E-850_Series-epson-escpr-en.ppd | 198 *PageSize 4X6FULL/KG size (Margins): "<</PageSize[288.00 432.00]/ImagingBBox null>>setpagedevice" 247 *ja.PageSize T4X6FULL/KGサイズ (四辺フチなし): "<</PageSize[288.00 432.00]/ImagingBBox null>>setpagedevice" 248 *ja.PageSize 4X6FULL/KGサイズ (四辺フチあり): "<</PageSize[288.00 432.00]/ImagingBBox null>>setpagedevice" 271 *ko.PageSize T4X6FULL/KG 크기 (여백 없음): "<</PageSize[288.00 432.00]/ImagingBBox null>>setpagedevice" 272 *ko.PageSize 4X6FULL/KG 크기 (여백): "<</PageSize[288.00 432.00]/ImagingBBox null>>setpagedevice" 288 *zh_CN.PageSize 4X6FULL/KG 尺寸 (边距): "<</PageSize[288.00 432.00]/ImagingBBox null>>setpagedevice" 378 *ko.PageRegion 4X6FULL/KG 크기 (여백): "<</PageRegion[288.00 432.00]/ImagingBBox null>>setpagedevice" 405 *ImageableArea T4X6FULL/KG size (No Margins): "0.00 0.00 288.00 432.00" 406 *ImageableArea 4X6FULL/KG size (Margins): "8.40 8.40 279.60 423.60" 416 *PaperDimension T4X6FULL/KG size (No Margins): "288.00 432.00" [all …]
|
/dports/math/gap/gap-4.11.0/pkg/unitlib-4.0.0/tst/ |
H A D | unitlib02.tst | 28 gap> KG:=UnderlyingGroupRing(V1); # now the correct way 30 gap> V1=PcNormalizedUnitGroup(KG); # V1 is an attribute of KG 32 gap> K:=UnderlyingField(KG); 34 gap> G:=UnderlyingGroup(KG); 53 WARNING : the library of V(KG) for groups of order 58 #I Description of V(KG) for G=SmallGroup(256,
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/14/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG/M**2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG/M**2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG/M**2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG/M**2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG/M**2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG/M**2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/20/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/16/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/12/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG/M**2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG/M**2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG/M**2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG/M**2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG/M**2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG/M**2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/18/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/15/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/22/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/29/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/32/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/33/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/34/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/28/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/31/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|
/dports/science/eccodes/eccodes-2.23.0-Source/definitions/bufr/tables/0/wmo/30/codetables/ |
H A D | 8052.table | 11 10 10 PRECIPITATION EQUAL TO OR MORE THAN 1.0 KG M-2 12 11 11 PRECIPITATION EQUAL TO OR MORE THAN 5.0 KG M-2 13 12 12 PRECIPITATION EQUAL TO OR MORE THAN 10.0 KG M-2 14 13 13 PRECIPITATION EQUAL TO OR MORE THAN 50.0 KG M-2 15 14 14 PRECIPITATION EQUAL TO OR MORE THAN 100.0 KG M-2 16 15 15 PRECIPITATION EQUAL TO OR MORE THAN 150.0 KG M-2
|