1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
// space.cc: Test of subspace package
//////////////////////////////////////////////////////////////////////////
//
// Copyright 1990-2012 John Cremona
//
// This file is part of the eclib package.
//
// eclib is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2 of the License, or (at your
// option) any later version.
//
// eclib is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
// for more details.
//
// You should have received a copy of the GNU General Public License
// along with eclib; if not, write to the Free Software Foundation,
// Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
//
//////////////////////////////////////////////////////////////////////////
#include <eclib/arith.h>
#include <eclib/types.h>
int main()
{
cout << "\nSubspace package test program\n\n";
int times,ntimes,r=0;
while (cout << "Enter size of square matrix M: ", cin >> r, r>0 )
{
mat m(r,r);
cout << "Enter entries of M: ";
cin >> m;
cout << " M = " << m;
cout << "Trace(M) = " << m.trace() << endl;
/*
int i;
mat mpower=m;
for (i=2; i<=r; i++)
{mpower=mpower*m;
cout << "m^" << i << " = " << mpower;
cout << "Trace(m^" << i << ") = " << mpower.trace() << endl;
}
{
vector<long> cp = m.charpoly();
cout << "char. poly. of m has coefficients " << cp << endl;
}
cout << "det(M) = " << m.determinant() << endl;
cout << "rank(M) = " << m.rank() << endl;
cout << "nullity(M) = " << m.nullity() << endl;
*/
cout << endl << "Enter number of times to repeat kernel tests: ";
cin >> ntimes;
{
times=ntimes; subspace ker;
while(times--) ker = kernel(m);
mat kerbasis = basis(ker);
cout << "kernel(m) has basis\n" << kerbasis;
vec kerpivs = pivots(ker);
cout << "pivots: " << kerpivs << "\n";
int kerdenom = denom(ker);
cout << "denom: " << kerdenom << "\n";
}
cout << "Now compute kernel mod p, p = " << DEFAULT_MODULUS << endl;
{
times=ntimes; subspace ker;
while(times--) ker = pkernel(m,DEFAULT_MODULUS);
mat kerbasis = basis(ker);
cout << "kernel(m) has basis\n" << kerbasis;
vec kerpivs = pivots(ker);
cout << "pivots: " << kerpivs << "\n";
times=ntimes; subspace oldker;
while(times--) oldker = oldpkernel(m,DEFAULT_MODULUS);
if((kerbasis!=basis(oldker))||(kerpivs!=pivots(oldker)))
{
cout << "!!! Differs from old version !!!" << endl;
cout << "Old basis = \n"<<basis(oldker)<<endl;
}
else
cout << "!!! Agrees with old version !!!" << endl;
}
/*
{
subspace im = image(m);
cout << "image(m) has basis\n" << basis(im);
cout << "pivots: " << pivots(im) << "\n";
cout << "denom: " << denom(im) << "\n";
}
{
scalar lambda; //
cout << "Enter lambda: "; cin >> lambda;
subspace elambda = eigenspace(m,lambda);
cout << "eigenspace for lambda has basis\n" << basis(elambda);
cout << "with dimension " << dim(elambda) << endl;
}
*/
}
cout<<endl;
}
|
