Lines Matching refs:degrees

20         [ "degrees" ] );
81     return filt!.degrees;
102     local degrees;
104     degrees := DegreesOfFiltration( filt );
106     return degrees[Length( degrees )];
247     local img_filt, degrees, p;
253     degrees := DegreesOfFiltration( filt );
255     img_filt := rec( degrees := degrees );
257     for p in degrees do
284     local nargs, ascending, pre_filtration, degrees, l, filtration, i,
303 …nd not IsBound( pre_filtration!.degrees ) and IsList( pre_filtration!.degrees ) and not IsEmpty( p…
304 … "the first argument must be a record containing, as a component, a non-empty list of degrees\n" );
313     degrees := pre_filtration!.degrees;
315     if degrees = [ ] then
319     ConvertToRangeRep( degrees );
321     l := Length( degrees );
326     filtration.degrees := degrees;
332     i := String( degrees[1] );
360     for i in degrees{[ 2 .. l - 1 ]} do
381         i := degrees[l];
427     local telescope, degrees, l, pre_filtration, rev_degrees, i,
432     if IsBound( telescope.degrees ) then
433         degrees := telescope.degrees;
435         Error( "the telescope does not contain a component called degrees\n" );
438     l := Length( degrees );
440     pre_filtration := rec( degrees := degrees );
442     rev_degrees := Reversed( degrees );
451 …  pre_filtration.(String( degrees[1] )) := ImageObjectEmb( pre_filtration.(String( degrees[1] )) );
453     ByASmallerPresentation( Source( pre_filtration.(String( degrees[1] )) ) );
455     for i in degrees{[ 2 .. l ]} do
471     local tower, degrees, l, pre_filtration, i, emb, ar;
475     if IsBound( tower.degrees ) then
476         degrees := tower.degrees;
478         Error( "the tower does not contain a component called degrees\n" );
481     l := Length( degrees );
483     pre_filtration := rec( degrees := degrees );
485     pre_filtration.(String( degrees[1] )) := ImageObjectEmb( tower.(String( degrees[1] )) );
487     ByASmallerPresentation( Source( pre_filtration.(String( degrees[1] )) ) );
489     for i in degrees{[ 2 .. l ]} do
531     local degrees, l, plural, purity, the, p, s;
533     degrees := DegreesOfFiltration( o );
535     l := Length( degrees );
566         degrees := Reversed( degrees );		## we want to start with the highest (sub)factor
570         Print( "filtration with degrees ", degrees, " and graded parts:\n" );
572         Print( "trivial filtration with degree ", degrees, " and graded part:\n" );
576         degrees := Reversed( degrees );		## we want to start with the highest (sub)factor
579     for p in degrees do
599     local degrees, l, d;
601     degrees := DegreesOfFiltration( o );
603     degrees := Reversed( degrees );		## we want to start with the highest (sub)factor
605     l := Length( degrees );
607     for d in degrees{[ 1 .. l - 1 ]} do
613     Print( "Degree ", degrees[l], ":\n\n" );
614     Display( CertainObject( o, degrees[l] ) );