One Hat Cyber Team

Your IP : 216.73.216.135

Server IP : 194.44.31.54

Server : Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64

Server Software : Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k

PHP Version : 5.6.40

Buat File | Buat Folder

Dir : ~/usr/share/Macaulay2/EngineTests/

Edit File: LinearAlgebra.Test.ZZp.m2

-- -*- coding: utf-8 -*-

--------------------------------
-- engine ZZ/p -----------------
--------------------------------
TEST ///
  debug Core
  R = ZZp 2
  testLinearAlgebra R;
///

TEST ///
  debug Core
  R = ZZp 3
  testLinearAlgebra R;
///

TEST ///
  debug Core
  R = ZZp 5
  testLinearAlgebra R;
///

TEST ///
  debug Core
  R = ZZ/101
  testLinearAlgebra R;
///

TEST ///
  debug Core
  R = ZZp 32749
  testLinearAlgebra R;
///

TEST ///
  debug Core
  R = ZZp 32719
  testLinearAlgebra R;
///

---------------------------------
-- linear algebra: engine ZZ/p --
---------------------------------
TEST ///
  debug Core
  R = ZZ/101
  M = mutableMatrix matrix(R, {{0,3,2,1,4,7},{0,0,4,3,7,2},{0,0,0,1,7,4},{0,0,0,0,0,3}})
  b = transpose mutableMatrix matrix(R, {{11,9,11,3}})
  LUdecomposition M
  assert(rank M == 4)
  assert(rawLinAlgRankProfile(raw M, false) == {1,2,3,5})
  L = solve(M, b)
  assert(M*L - b  == 0)
  N = nullSpace M 
  assert(M * N == 0)

L = mutableMatrix(R,4,4)
  fillMatrix L
  M1 = L*M
  b1 = L*b
  
  rank M1
  (P,L,U) = LUdecomposition M1
  assert(L*U == M1)

rawLinAlgRankProfile(raw M1, false) == {1,2,3,5}
  M1 * solve(M1,b1) == b1
  M1 * nullSpace M1 == 0
  
  M = mutableMatrix matrix(R, {{1,2,3},{1,4,6},{4,1,2}})
  det M
  id3 = mutableIdentity(R,3)
  assert(M * solve(M,id3) == id3)
  assert(solve(M,id3) * M == id3)

assert(M * inverse M == id3)
  assert((inverse M) * M == id3)
///