A demonstration file that can be compiled. More...

#include "Half_Idempotent.hpp"
#include <chrono>

Include dependency graph for Demo.cpp:

Macros
#define	SYMMP_USE_OPEN_MP
	Define this macro to enable openMP in the library (you will also need to enable openMP in your compiler). More...

Functions
template<class xy_poly_t , class chern_poly_t >
void	pontryagin_via_chern (int n)
	Writes the twisted Pontryagin (symplectic) classes \(\pi_{s,j}\) ( \(\kappa_{s,j}\)) in terms of the Chern classes under the forgetful \(BU(n)\to BSO(n)\) (quaternionization \(BU(n)\to BSp(n)\)) More...

void	show_and_tell ()
	User facing interface for computing relations/writing Pontryagin/symplectic in terms of Chern. More...

template<class scl_t , class exp_val_t , class deg_t >
void	speed_test ()
	Optimized speedtest (no console output). For benchmarking and regression testing. More...

int	main ()
	Main. More...

Detailed Description

A demonstration file that can be compiled.

Macro Definition Documentation

◆ SYMMP_USE_OPEN_MP

#define SYMMP_USE_OPEN_MP

Define this macro to enable openMP in the library (you will also need to enable openMP in your compiler).

Function Documentation

◆ pontryagin_via_chern()

void pontryagin_via_chern ( int n )

Writes the twisted Pontryagin (symplectic) classes \(\pi_{s,j}\) ( \(\kappa_{s,j}\)) in terms of the Chern classes under the forgetful \(BU(n)\to BSO(n)\) (quaternionization \(BU(n)\to BSp(n)\))

Template Parameters

xy_poly_t	The type of polynomial on the \(x_i,y_i\) variables
chern_poly_t	The type of polynomial on the \(\gamma_{s,j}\) variables

Parameters

n	The \(n\) in \(BU(n), BSO(n), BSp(n)\)

Here is the call graph for this function:

◆ show_and_tell()

void show_and_tell ( )

User facing interface for computing relations/writing Pontryagin/symplectic in terms of Chern.

Here is the caller graph for this function:

◆ speed_test()

void speed_test ( )

Optimized speedtest (no console output). For benchmarking and regression testing.

Template Parameters

scl_t	The type of scalars eg int
exp_val_t	The value type of the exponent vectors
deg_t	The type of the degree of the monomials

◆ main()

int main ( )

Main.