CoCalc -- BaseChange.g

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

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

Project: cocalc-sagemath-dev-slelievre

Path: gap4r8 / pkg / RingsForHomalg-2018.01.07 / examples / BaseChange.g

Views: ⁴¹⁸³⁴⁶

LoadPackage( "RingsForHomalg" );

R2 := HomalgRingOfIntegersInSingular( 2 ) * "x,y,z";
R5 := HomalgRingOfIntegersInSingular( 5, R2 ) * "x,y,z";

m5 := HomalgMatrix( "[ 2 ]", 1, 1, R5 );

Assert( 0, IsZero( m5 ) = false );

m2 := R2 * m5;

Assert( 0, IsZero( m2 ) );