Home
last modified time | relevance | path

Searched +refs:is +refs:mor (Results 1 – 25 of 1121) sorted by last modified time

12345678910>>...45

/dports/textproc/link-grammar/link-grammar-5.8.0/data/tr/
H A D4.0.dict4 % Dictionary version number is 5.3.15 (formatted as V5v3v15+)
9 kırmızı şişman hasta kızgın güzel genç yasli iyi kötü hos üzücü mutlu aç siyah beyaz mavi yeşil mor…
/dports/textproc/libtre/tre-0.8.0/tests/agrep/
H A Drecords.ok274 …RN. The The PATTERN For "^From
282 …RN. The The PATTERN For "^From
415 is the regexp "\n", so by default a record is a line.
419 is the regexp "\n", so by default a record is a line.
431 is the regexp "\n", so by default a record is a line.
435 is the regexp "\n", so by default a record is a line.
447 is the regexp "\n", so by default a record is a line.
451 is the regexp "\n", so by default a record is a line.
455 is the regexp "\n", so by default a record is a line.
459 is the regexp "\n", so by default a record is a line.
[all …]
/dports/misc/uk-postcodes/uk-postcodes-2.2/
H A Duk.postcodes2 # Disclaimer: No guarantee is made that this list is complete, up to
8 # Only the first part of the post code is listed as a listing that
1646 Bangor-is-y-coed :Wrexham :LL13
15208 Llannerch-y-mor :Flintshire :CH8
/dports/math/gap/gap-4.11.0/pkg/MonoidalCategories-2019.06.07/gap/
H A DMonoidalCategoriesDerivedMethods.gi26 projection_list := List( projection_list, mor -> TensorProductOnMorphisms( id, mor ) );
47 injection_list := List( injection_list, mor -> TensorProductOnMorphisms( id, mor ) );
68 projection_list := List( projection_list, mor -> TensorProductOnMorphisms( mor, id ) );
89 injection_list := List( injection_list, mor -> TensorProductOnMorphisms( mor, id ) );
1261 ## because if the InternalHom is constructed via the final derivation, these
/dports/math/gap/gap-4.11.0/pkg/homalg-2019.09.01/gap/
H A DHomalgBicomplex.gi431 local bidegree, C, obj_p, mor;
449 if mor = fail then
454 return mor;
456 return -mor;
519 local bidegree, C, obj_p, mor;
537 if mor = fail then
542 return mor;
544 return -mor;
614 source, diff, mor;
791 Error( "the first argument is not a complex of complexes\n" );
[all …]
H A DHomalgFunctor.gi1004 mor := Functor!.MorphismConstructor( mor, F_source, F_target );
1010 mor := phi;
1057 arg_all := [ arg_all, mor ];
1059 if not HasGenesis( mor ) then
1060 SetGenesis( mor, [ arg_all ] );
1062 Add( Genesis( mor ), arg_all );
1069 return mor;
1094 SetIsIsomorphism( mor, true );
1101 SetIsMorphism( mor, true );
1186 UpdateObjectsByMorphism( mor );
[all …]
H A DComplexes.gi41 mor := AsATwoSequence( mor );
73 mor := AsATwoSequence( mor );
89 Error( "this is a cocomplex: use \033[1mCohomology\033[0m instead\n" );
104 Error( "this is a complex: use \033[1mHomology\033[0m instead\n" );
170 Error( "the input is not a complex" );
294 Error( "the input is not a cocomplex" );
386 Error( "this is a complex: use \033[1mHomology\033[0m instead\n" );
527 # the resolution is build the way such that "epsilonM/psi" works.
616 # (if there is anything to fill)
1123 Error( "the second argument is not a complex\n" );
[all …]
H A DHomalgMorphism.gi187 # This is the "classical" aid:
417 # A_ is a free or beta1 is injective ( cf. [HS, Lemma III.3.1]
592 function( mor, emb )
595 entry := ToDoListEntry( [ [ mor, "IsMorphism", true ] ],
596 [ [ "IsMorphism( mor ) => IsMorphism( image embedding )",
597 [ emb, "IsMorphism", [ IsMorphism, mor ] ] ],
603 entry := ToDoListEntry( [ [ mor, "IsEpimorphism" ] ],
604 [ [ "IsEpimorphism( mor ) <=> IsIsomorphism( image embedding )",
605 [ emb, "IsIsomorphism", [ IsEpimorphism, mor ] ] ],
612 [ [ "IsIsomorphism( image embedding ) <=> IsEpimorphism( mor )",
[all …]
H A DHomalgBigradedObject.gi27 ## (It is a representation of the &GAP; category <Ref Filt="IsHomalgBigradedObject"/>,
557 mor := - mor / mor_v; ## generalized lift
558 mor := PreCompose( mor, mor_h[r] );
560 mor := mor / emb_target; ## generalized lift
563 SetIsMorphism( mor, true );
594 mor := - mor / mor_v; ## generalized lift
595 mor := PreCompose( mor, mor_h[r] );
597 mor := mor / emb_target; ## generalized lift
600 SetIsMorphism( mor, true );
633 ## Of course, a zero object (at a spot <M>(p,q)</M>) is always stable.
[all …]
H A DHomalgComplex.gi1251 local mor, deg, C, j;
1253 mor := MorphismsOfComplex( T );
1255 deg := DegreesOfChainMorphism( mor[1] );
1262 Add( C, CertainMorphism( mor[3], j ) );
1263 Add( C, CertainMorphism( mor[1], j ) );
1264 Add( C, CertainMorphism( mor[2], j ) );
1278 local mor, deg, C, j;
1280 mor := MorphismsOfComplex( T );
1282 deg := DegreesOfChainMorphism( mor[1] );
1290 Add( C, CertainMorphism( mor[1], j ) );
[all …]
H A DHomalgSubobject.gi23 ## (It is a representation of the &GAP; category <Ref Filt="IsHomalgStaticObject"/>,
24 ## which is a subrepresentation of the &GAP; representations
90 …ed as a subobject of some object <M>L</M> the object underlying the subobject <M>M</M> is returned.
141 ## we don't check if M is the underlying object of I
256 local mor;
258 mor := MorphismHavingSubobjectAsItsImage( I );
260 mor := Pullback( phi, mor );
262 return ImageSubobject( mor );
/dports/math/gap/gap-4.11.0/pkg/groupoids-1.68/lib/
H A Dmwohom.gi166 local pieces, o2, m2, j, pj, h, mor;
176 Error( "h is not a magma homomorphism" );
231 Error( "h is not a magma with objects homomorphism" );
270 #? added 10/05/06 -- it is useful ??
709 Error( "source is not single piece" );
1459 "this is the first ImageElm function in mwohom.gi" );
1468 #? this is not the correct range magma ??
1483 "this is the second ImageElm function in mwohom.gi" );
1506 "this is the third ImageElm function in mwohom.gi" );
1544 "this is the fourth ImageElm function in mwohom.gi" );
[all …]
H A Dgpdhom.gi180 Error( "arg[2] is not a subgroupoid of arg[1]" );
212 Error( "arg[2] is not a submagma of arg[1]" );
227 Error( "arg[2] is not a submagma of arg[1]" );
257 if ( HasIsInjective( mor ) and IsInjective( mor ) ) then
329 if ( HasIsInjective( mor ) and IsInjective( mor ) ) then
395 Error( "this is a case not yet provided for" );
431 Error( "ims is not a subset of obs" );
727 "this is the first ImageElm method in gpdhom.gi" );
754 "this is the second ImageElm method in gpdhom.gi" );
815 "this is the third ImageElm method in gpdhom.gi" );
[all …]
H A Dgpdaut.gi42 return mor;
78 return mor;
106 local gens, images, i, a, mor;
117 SetOrder( mor, Order( hom ) );
119 return mor;
134 Error( "hom is not an automorphism" );
213 return mor;
230 Error( "the first ray shift is not the identity" );
285 Error( "sub is not a subgroupoid of gpd" );
820 #? is there anything else to test?
[all …]
H A Dgpdhom.gd25 #P IsGroupoidEndomorphism( <mor> )
60 ## A mapping of connected groupoids is determined by:
67 ## For general groupoids a PieceImage is a list [hom,oims,rims],
128 ## A groupoid mapping from a homogeneous, discrete groupoid is determined by:
/dports/math/gap/gap-4.11.0/pkg/groupoids-1.68/
H A DCHANGES.md32 FpaInfo is now FreeProductWithAmalgamationInfo; sim. HnnInfo
174 * (02/06/15) `PackageInfo.g` : 'gpd' is now an accepted package
201 is no longer automatically included in the output
218 is only one object, and now there are diffs in tests!
229 (otherwise there is a clash with the Grape package).
239 so attribute SubgroupsOfGraphOfGroups is redundant.
292 * (04/09/11) Changed BIND_GLOBAL to BindGlobal, since it is 'safer'
364 'isgpdelt', which is true for groupoid elements and,
459 * (09/10/08) found there is a problem in LeftCosetsNC !!
461 this includes replacing "mor" by "map" in filenames;
[all …]
/dports/math/gap/gap-4.11.0/pkg/ToricVarieties-2019.12.05/gap/
H A DToricDivisors.gi202 # # Error( "variety is not complete, computation may be wrong." );
327 …# resolution is this here, which makes use of yet another bug, namely EntriesOfHomalgMatrix does i…
365 Error( "list is infinite, cannot compute characters\n" );
484 Error( "list is infinite, cannot compute basis because it is not finite\n" );
615 local pos, elem, mor;
623 mor := MapFromWeilDivisorsToClassGroup( vari );
625 elem := ApplyMorphismToElement( mor, elem );
774 SetDescriptionOfImplication( entry, "a variety with an ample divisor is projective." );
780 SetDescriptionOfImplication( entry, "every divisor of a smooth variety is Cartier." );
786 # SetDescriptionOfImplication( entry, "every Cartier divisor on a smooth variety is principal."…
[all …]
/dports/math/gap/gap-4.11.0/pkg/XModAlg-1.17/lib/
H A Dalg2obj.gi577 mor, triv, imact, a, Arec, Pact, type ;
634 local nsrc, nrng, name, mor;
1147 Print( "Ssrc is not a ideal of Psrc\n" );
1151 Print( "Srng is not an ideal of Prng\n" );
1211 Error( "the result is only a pre-crossed module" );
1258 Error( "result is only a pre-cat1-algebra" );
1410 Print( ": the kernel is trivial.\n" );
1442 Print( ": the kernel is trivial.\n" );
1453 # Print( ": associated crossed module is ",
1467 local nsrc, nrng, name, mor;
[all …]
/dports/math/gap/gap-4.11.0/pkg/XModAlg-1.17/tst/
H A Dxmod.tst133 gap> mor := XModAlgebraMorphism( XIAc4, XIBk4, homIAIB[1], homAB[2] );
135 gap> Display( mor );
146 gap> IsTotal( mor );
148 gap> IsSingleValued( mor );
152 gap> Xmor := Kernel( mor );
163 gap> theta := SourceHom( mor );;
168 gap> phi := RangeHom( mor );;
173 gap> IsInjective( mor );
175 gap> IsSurjective( mor );
177 gap> Image( mor );
[all …]
/dports/math/gap/gap-4.11.0/pkg/CAP-2019.06.07/gap/
H A DCategoryMorphisms.gd77 # The output is <C>true</C> if $\alpha$ is a monomorphism,
110 # The output is <C>true</C> if $\alpha$ is an epimorphism,
141 # The output is <C>true</C> if $\alpha$ is an isomorphism,
172 # The output is <C>true</C> if $\alpha$ is a split monomorphism,
201 # The output is <C>true</C> if $\alpha$ is a split epimorphism,
230 # The output is <C>true</C> if $\alpha$ is congruent to the identity of $a$,
623 # The output is <C>true</C> if $\alpha$ is an endomorphism,
654 # The output is <C>true</C> if $\alpha$ is an automorphism,
1305 #! The output is <C>true</C> if $\alpha$ is well-defined,
1724 ## mor: x -> y
[all …]
H A DCategoriesCategory.gi827 function( new_source, mor, new_range )
829 if IsZeroForObjects( Source( mor ) ) then
831 elif IsZeroForObjects( Range( mor ) ) then
835 return mor;
892 function( new_source, mor, new_range )
894 if IsZeroForMorphisms( mor ) then
898 return mor;
959 ##equality of categories is given by IsIdenticalObj.
H A DDerivedMethods.gi429 function( mor )
444 function( mor )
999 function( mor )
1013 function( mor )
1504 diagram := List( morphism_list, mor -> Source( mor ) );
1525 diagram := List( morphism_list, mor -> Range( mor ) );
1544 diagram := List( morphism_list, mor -> Range( mor ) );
1564 diagram := List( morphism_list, mor -> Source( mor ) );
2131 function( mor )
2141 function( mor )
[all …]
H A DCategoryMorphisms.gi113 … "(Please note that it is possible for different CAP-categories to have the same name)"
179 function( mor, r )
181 return MultiplyWithElementOfCommutativeRingForMorphisms( r, mor );
263 …elong to the same CAP category, but no specific method IsEqualForMorphisms is installed. Maybe you…
284 …g to the same CAP category, but no specific method IsCongruentForMorphisms is installed. Maybe you…
368 # function( mor )
370 # return ZeroMorphism( Source( mor ), Range( mor ) );
468 ## mor: x -> y
471 ## TransportHom( mor, equality_source, equality_range ): x' -> y'
476 function( mor, equality_source, equality_range )
[all …]
H A DTheoremParser.gi17 ## converting is save, false otherwise.
24 ## Converts to int if string is an int,
76 ## If string is true or false, method returns
137 ## Returns an empty list if string is empty.
186 ## If string is of form command( some ) it returns
187 ## a record with command entry is the command string
188 ## and arguments is the list of arguments
365 ## If substring is not present, the whole string is returned
411 part := Concatenation( "this is not a valid part: ", part );
724 Error( "no function found. This is the wrong parser" );
[all …]
H A DUniversalObjects.gi471 ## TODO: is this deprecated?
851 List( list_of_triples, mor -> mor[1] ),
852 List( list_of_triples, mor -> mor[2] ),
853 List( list_of_triples, mor -> mor[3] )
873 List( list_of_triples, mor -> mor[1] ),
874 List( list_of_triples, mor -> mor[2] ),
875 List( list_of_triples, mor -> mor[3] ),
1085 List( list_of_triples, mor -> mor[1] ),
1086 List( list_of_triples, mor -> mor[2] ),
1087 List( list_of_triples, mor -> mor[3] )
[all …]

12345678910>>...45