Skip to main content

Browse the archive

Revision ab0debec0a366342a75593d2b332a46d89ae4d4a authored by Mohamed Barakat on 17 March 2017, 08:36:07 UTC, committed by Mohamed Barakat on 17 March 2017, 08:49:43 UTC 
turned global function constructors for relations into operations
 
renamed:
* HomalgRelationsForLeftModule -> _HomalgRelationsForLeftModule
* HomalgRelationsForRightModule -> _HomalgRelationsForRightModule

declared and installed the one and two argment operations:
* HomalgRelationsForLeftModule
* HomalgRelationsForRightModule
using the renamed global functions
1 parent ce16fa7
Raw File
nongraded_Purity.g 
Read( "MainExample.g" );

filt := PurityFiltration( N );

II_E := SpectralSequence( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyzt ) ) );
back to top