Skip to content

Sparsesos is a simple implementation of determining whether a polynomial is sparse SOS polynomial.

License

Notifications You must be signed in to change notification settings

lihaokun/sparsesos

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

72 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SPARSESOS

Sparsesos is a simple implementation of determining whether a polynomial is sparse SOS polynomial. It is licensed under the Apache License 2.0.

Dependencies

The intaller will install mosek automatically, but you need to get a mosek lincense.

Windows 10 X64 binary package

You can download binary package at

Linux Install

Pleasa ensure that the license of mosek is valid.(~/mosek/mosek.lic) You can get a free academic license on this link.

git clone https://gitlab.com/haokunli/sparsesos.git
cd sparsesos
chmod +x ./install
./install

Linux Uninstall

chmod +x ./uninstall
./uninstall

Using

is_sos filename

if solving successful, the result will be saved to filename.sosd .

Example

is_sos  example/F2.txt 

About

Sparsesos is a simple implementation of determining whether a polynomial is sparse SOS polynomial.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages