Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563532 views
LoadPackage( "homalg" );

ZZ := HomalgRingOfIntegers( );
R := ZZ / 2^8;

r := 3 * One( R );

Assert( 0, IsRegular( r ) );

s := 2 * One( R );

Assert( 0, not IsRegular( s ) );