cringcub.cpp File Reference

A program for the computation of the cohomology ring structure with the cup product, using algebraic minimal models for cubical sets. More...

#include "chaincon/stringhash.h"
#include "chomp/system/config.h"
#include "chomp/struct/hashsets.h"
#include "chaincon/cubcell.h"
#include "chaincon/emptycell.h"
#include "chaincon/wrapping.h"
#include "chaincon/awdiagcub.h"
#include "cringmain.h"

Go to the source code of this file.

Macros
#define	SPACE_WRAPPING

Functions
int	main (int argc, char *argv [])
	The main procedure of the program. More...

Variables
const char *	title
	The title of the program and licensing information. More...
const char *	helpinfo
	Brief help information on the program's usage. More...

Detailed Description

A program for the computation of the cohomology ring structure with the cup product, using algebraic minimal models for cubical sets.

Definition in file cringcub.cpp.

Macro Definition Documentation

SPACE_WRAPPING

#define SPACE_WRAPPING

Definition at line 41 of file cringcub.cpp.

Function Documentation

main()

int main	(	int	argc,
		char *	argv[]
	)

The main procedure of the program.

Returns: 0 = Ok, -1 = Error, 1 = Help displayed, 2 = Wrong arguments.

Definition at line 88 of file cringcub.cpp.

References helpinfo, and title.

Variable Documentation

helpinfo

const char* helpinfo

Initial value:

= "\
This program computes cohomology groups of a cubical set\n\
and the cup product of cohomology generators, yielding the ring structure.\n\
The ring of coefficients for cohomology computation can be either set to Z\n\
or to Z_p (the integers modulo prime number p).\n\
Call with:\n\
filename - the name of a file that contains a list of cubical cells,\n\
Switches and additional arguments:\n\
filename2 - the name of an additional file for relative (co)homology;\n\
-pN - selection of the coefficients: p=0 for Z, p>1 for Z_p (default: 0);\n\
\tnote: one should use p <= 181,\n\
-r - compute reduced homology (with the empty set as a cell of dim -1),\n\
-b - don't add boundary cells (use -bx and -ba for X and A selectively),\n\
-w N1,..,Nk - set space wrapping, a.k.a. periodic boundary conditions;\n\
\trepeat the n-tuple for each dimension n; use 0 for no wrapping,\n\
-dpi, -dincl, -dphi - display the computed maps: pi, incl, phi,\n\
-dd - display the boundary map in the minimal model (the nontrivial part),\n\
--verify - do additional verification of the computed maps,\n\
--log filename - save the output to a file (without progress indicators),\n\
--quiet - suppress data output to the screen (whcih can be still logged),\n\
--help - display this brief help information only and exit.\n\
For more information please consult the accompanying documentation\n\
or ask the program's author at http://www.PawelPilarczyk.com/."

Brief help information on the program's usage.

Definition at line 57 of file cringcub.cpp.

Referenced by main().

title

const char* title

Initial value:

= "\
Cubical cohomology ring computation using a chain contraction.\n\
Version 0.03 (Sep 24, 2015). Copyright (C) 1997-2016 by Pawel Pilarczyk.\n\
This is free software. No warranty. Consult 'license.txt' for details."

The title of the program and licensing information.

Definition at line 51 of file cringcub.cpp.

Referenced by main().