diff options
| author | fbesson | 2008-07-13 17:47:07 +0000 |
|---|---|---|
| committer | fbesson | 2008-07-13 17:47:07 +0000 |
| commit | bbe30f1552ef13bfeb8e2f814cf055c5e9b69808 (patch) | |
| tree | 4a4fdf58f3edc01179bab67773945a122b787a57 /doc/refman/csdp.cache | |
| parent | a82dc4411e1f5103b4dc592f885fa8315f965ab8 (diff) | |
update doc Micromega
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11223 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/refman/csdp.cache')
| -rw-r--r-- | doc/refman/csdp.cache | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/refman/csdp.cache b/doc/refman/csdp.cache index f63e9f498c..61082f7b8e 100644 --- a/doc/refman/csdp.cache +++ b/doc/refman/csdp.cache @@ -105,3 +105,16 @@ Infeasible 2 2 1 1 5.509546873900648946e-09 2 3 1 1 6.807899670209652660e-09 *** END *** +*** REQUEST *** +"" +0 +1 +4 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 0.10000000000000000000e1 +0 1 4 4 0.20000000000000000000e1 +*** ANSWER *** +Failure +*** END *** |