From e8ac92ff973313d78d4bd412571e919eeaffd6af Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 6 Nov 2019 17:49:31 +0100 Subject: [PATCH] update README --- README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/README.md b/README.md index 6f370e7..09be816 100644 --- a/README.md +++ b/README.md @@ -1 +1,15 @@ # Property(T) + +[![Build Status](https://travis-ci.org/kalmarek/PropertyT.jl.svg?branch=master)](https://travis-ci.org/kalmarek/PropertyT.jl) +[![codecov](https://codecov.io/gh/kalmarek/PropertyT.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/kalmarek/PropertyT.jl) + +This package is concerned with sum of squares decompositions in group rings of finitely presented groups. +Please have a look into [test](https://github.com/kalmarek/GroupRings.jl/blob/master/test/runtests.jl) directory to see how to use this package. For an example applications have a look at our papers: +[1703.09680](https://arxiv.org/abs/1703.09680), [1712.07167](https://arxiv.org/abs/1712.07167) and [1812.03456](https://arxiv.org/abs/1812.03456). + +The package depends on + * [AbstractAlgebra](https://github.com/Nemocas/AbstractAlgebra.jl), + * [Groups](https://github.com/kalmarek/Groups.jl) + * [GroupRings](https://github.com/kalmarek/GroupRings.jl) + * [JuMP](https://github.com/JuliaOpt/JuMP.jl) + * [scs](https://github.com/JuliaOpt/SCS.jl) [solver](https://github.com/cvxgrp/scs)