Home
last modified time | relevance | path

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

12345678910>>...45

/dports/math/gap/gap-4.11.0/pkg/CAP-2019.06.07/gap/
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 …]
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 …]
/dports/textproc/ga-aspell/aspell5-ga-4.5-0/doc/
H A DChangeLog1172 is now in morph-ga.
1277 * eachtar: suite is a real word!
1497 * eachtar: "post" is Irish!
1899 cinní, Guaranaí, Urdúis
1963 this is possibly controversial...
2062 fuaireadar/US is now two entries,
2404 * gaeilge.lit, gaeilge.mor, gaeilge.raw: Only a resort. GNU sort is
2747 of this change is to remove all
2925 this is BASICALLY meaningless -- BUT one word (obainn) is,
3162 is used with verbs -- it is handled separately,
[all …]
/dports/math/gap/gap-4.11.0/pkg/homalg-2019.09.01/gap/
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 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 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 );
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 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 …]
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/lib/
H A Dgp2map.gd32 ## A pre-crossed module or pre-cat1-group morphism is a pair of commuting
67 #P IsEndomorphism2DimensionalDomain( <mor> )
68 #P IsAutomorphism2DimensionalDomain( <mor> )
75 #P IsPermPreXModMorphism( <mor> )
76 #P IsPermPreCat1GroupMorphism( <mor> )
91 #P IsSourceMorphism( <mor> )
92 #O PreXModBySourceHom( <mor> )
99 #A XModMorphismOfCat1GroupMorphism( <mor> )
100 #A Cat1GroupMorphismOfXModMorphism( <mor> )
H A Dgp2map.gi96 local mor;
107 return mor;
116 function( mor )
176 function( mor )
197 function( mor )
234 function( mor )
295 function( mor )
389 Info( InfoXMod, 1, "mor is not bijective" );
1137 Error( "found a pre-cat1 morphism which is not a cat1-morphism" );
1584 Info( InfoXMod, 2, "boundary is not injective" );
[all …]
H A Dgpnmap.gi45 mor := rec();
59 return mor;
69 function( mor )
167 function( mor )
222 function( mor )
247 function( mor )
355 return mor;
366 local mor, ok;
372 return mor;
420 function( mor )
[all …]
H A Dgp2act.gi81 ispre := ( not( mor = fail ) and IsPreXModMorphism( mor ) );
193 ## (05/03/07) allowed for the case that AS is trivial
250 return mor;
259 function( mor, chi )
263 XM := Source( mor );
264 sigma := SourceHom( mor );
265 rho := RangeHom( mor );
317 ## (05/03/07) allow for the case that W is trivial
539 mor := GA[k];
580 local WX, NX, ActX, mor;
[all …]
H A Dgp3map.gd66 #A CrossedSquareMorphismOfCat2GroupMorphism( <mor> )
67 #A Cat2GroupMorphismOfCrossedSquareMorphism( <mor> )
76 #O Display3DimensionalMorphism( <mor )
84 #O IsomorphismCat2GroupsNoTranspose( <cat2>, <cat2> ) ?? is this needed ??
H A Dgp2ind.gi102 Info( InfoXMod, 1, "peiffer subgroup is ",
107 Info( InfoXMod, 1, "the coproduct is ",
132 Error( "LX is not a list of crossed modules" );
172 Print("\n where X is a crossed module and iota is a homomorphism");
222 Info( InfoXMod, 3, "iota is surj" );
225 Info( InfoXMod, 3, "iota is mono" );
264 Error( "M is not a trivial group" );
268 if ( mor = fail ) then
291 Error( "P is not the trivial group" );
658 " in Q, and is generated by" );
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-doc/redex/scribblings/long-tut/
H A Dlong-tut.scrbl10 This tutorial is derived from a week-long Redex summer school,
13 @include-section{mon-mor.scrbl}
17 @include-section{tue-mor.scrbl}
18 @include-section{lab-tue-mor.scrbl}
23 @include-section{wed-mor.scrbl}
24 @include-section{lab-wed-mor.scrbl}
H A Dwed-mor.scrbl6 @title[#:tag "wed-mor"]{Imperative Extensions}
113 Extending this table and looking up values in it, is a routine matter by
116 Here is the standard reduction relation:
136 The question is what the corresponding calculus looks like. See
137 @secref{lab-wed-mor}.
139 @bold{This use of the standard reduction relation is common because most
143 The semantics is a function, however, that maps programs to the final
175 Here is a language with a simple construct for raising exceptions:
223 The key insight is that an exception-raising construct erases any
249 The question is what a standard reduction relation for such a calculus
[all …]
/dports/math/gap/gap-4.11.0/pkg/groupoids-1.68/lib/
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 …]
/dports/math/gap/gap-4.11.0/pkg/Modules-2019.09.02/gap/
H A DBasicFunctors.gi281 local c, r, mat_old, mor;
298 SetIsMorphism( mor, true );
300 return mor;
332 local c, r, mat_old, mor;
349 SetIsMorphism( mor, true );
351 return mor;
422 ## UpdateObjectsByMorphism( mor )
471 return mor;
666 emb_source, emb_target, mor;
749 ## UpdateObjectsByMorphism( 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/accessibility/at-spi2-core/at-spi2-core-2.36.0/po/
H A Dsq.po3 # This file is distributed under the same license as the at-spi2-core package.
83 msgstr "AT-SPI: pritej një variant gjatë marrjes së %s nga interfaqja %s; u mor %s\n"
88 msgstr "atspi_dbus_get_property: Lloj i gabuar: pritej %s, u mor %c\n"
98 msgstr "AT-SPI: priteshin 2 vlera në matricën e gjëndjes; u mor %d\n"
114 msgstr "U mor firma e pavlefshme %s për sinjalin %s nga interfaqja %s\n"
/dports/math/gap/gap-4.11.0/pkg/GradedModules-2020.01.02/gap/
H A DOtherFunctors.gi582 # The target of var_s_morphism is newly created
1232 # SOUM is module of global sections
1234 # then M is already a module of global sections
1241 # Show, that iota is an isomorphism.
1350 if IsIdenticalObj( Source( mor ), F_source ) and IsIdenticalObj( Range( mor ), F_target ) then
1351 return mor;
1360 source := Source( mor );
1361 target := Range( mor );
1398 TruncatedSubmodule( truncation_bound, mor ),
1420 if HasIsMorphism( mor ) and IsMorphism( mor ) then
[all …]
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/tst/extra/
H A Dcoprod.tst39 gap> mor := IsomorphismByIsomorphisms( V8, [ isoS, isoR ] );;
40 gap> W8 := Image( mor );;
45 #I peiffer subgroup is Q8, [ 8, 4 ]
49 #I peiffer subgroup is C2, [ 2, 1 ]
57 #I peiffer subgroup is 1, [ 1, 1 ]
63 #I peiffer subgroup is Q8, [ 8, 4 ]
67 #I peiffer subgroup is Q8, [ 8, 4 ]
72 #I peiffer subgroup is Q8, [ 8, 4 ]
77 #I peiffer subgroup is Q8, [ 8, 4 ]
82 #I peiffer subgroup is Q8, [ 8, 4 ]
[all …]
/dports/games/blinkensisters/blinkensisters/lostpixels/game/addons/mz_escape/LEVELS/
H A Dlevel1.bsl3 -- write out that we loaded sucessfully (mor or less, anyway)
12 -- preload all gfx (on-the-fly loading is NOT recommended)

12345678910>>...45