Changes to test forgetful spectral sequence on newcomp.
This commit is contained in:
parent
307719de67
commit
7259a9a00d
2
Makefile
2
Makefile
@ -4,7 +4,7 @@ FLEX = /opt/local/bin/flex
|
|||||||
|
|
||||||
# CXX = g++
|
# CXX = g++
|
||||||
# CXX = OMPI_CXX=clang++ mpic++ -fno-color-diagnostics --stdlib=libc++ --std=c++11 -I/u/cseed/llvm-3.1/lib/c++/v1
|
# CXX = OMPI_CXX=clang++ mpic++ -fno-color-diagnostics --stdlib=libc++ --std=c++11 -I/u/cseed/llvm-3.1/lib/c++/v1
|
||||||
CXX = clang++ -fno-color-diagnostics --stdlib=libc++ --std=c++11
|
CXX = clang++ -fno-color-diagnostics --stdlib=libc++ --std=c++11 -I/u/cseed/llvm-3.1/lib/c++/v1
|
||||||
|
|
||||||
INCLUDES = -I/opt/local/include -I.
|
INCLUDES = -I/opt/local/include -I.
|
||||||
|
|
||||||
|
@ -1,7 +1,7 @@
|
|||||||
|
|
||||||
#include <knotkit.h>
|
#include <knotkit.h>
|
||||||
|
|
||||||
#define HOME "/Users/cotton/src/knotkit/"
|
#define HOME "/u/cseed/src/knotkit/"
|
||||||
|
|
||||||
bool verbose = 0;
|
bool verbose = 0;
|
||||||
|
|
||||||
|
3
main.cpp
3
main.cpp
@ -783,7 +783,7 @@ test_forgetful_ss ()
|
|||||||
{
|
{
|
||||||
typedef fraction_field<polynomial<Z2> > R;
|
typedef fraction_field<polynomial<Z2> > R;
|
||||||
|
|
||||||
for (unsigned i = 1; i <= 11; i ++)
|
for (unsigned i = 1; i <= 12; i ++)
|
||||||
for (unsigned j = 1; j <= mt_links (i, 0); j ++)
|
for (unsigned j = 1; j <= mt_links (i, 0); j ++)
|
||||||
{
|
{
|
||||||
knot_diagram kd (mt_link (i, 0, j));
|
knot_diagram kd (mt_link (i, 0, j));
|
||||||
@ -920,6 +920,7 @@ test_forgetful_ss ()
|
|||||||
printf (" disj_P == Einf P (adj): YES!\n");
|
printf (" disj_P == Einf P (adj): YES!\n");
|
||||||
else
|
else
|
||||||
printf (" disj_P != Einf P (adj): NO :-(!\n");
|
printf (" disj_P != Einf P (adj): NO :-(!\n");
|
||||||
|
fflush (stdout);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -12,4 +12,4 @@
|
|||||||
# go to the directory with the program
|
# go to the directory with the program
|
||||||
cd $HOME/src/knotkit
|
cd $HOME/src/knotkit
|
||||||
# and run it
|
# and run it
|
||||||
./main
|
LD_LIBRARY_PATH=/u/cseed/llvm-3.1/lib ./main
|
||||||
|
Loading…
Reference in New Issue
Block a user