Skip to content

Commit

Permalink
Merge pull request #109 from SriramGDev/sage-file-interface
Browse files Browse the repository at this point in the history
Sage file interface bug fixes
  • Loading branch information
ederc authored Dec 15, 2023
2 parents 470e939 + fbce883 commit 15c433b
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 27 deletions.
10 changes: 5 additions & 5 deletions interfaces/msolve-to-sage-file-interface.sage
Original file line number Diff line number Diff line change
Expand Up @@ -76,16 +76,16 @@ def FormatOutputMSolve(foutput):
# dimension
dim = R[0]
if dim > 0:
return A(-1), A(1), [], []
return None, None, A(-1), None, None, None, None

# parametrization
nvars = R[1][1]
qdim = R[1][2]
varstr = R[1][3]
linearform = R[1][4]
elim = R[1][5][1]
den = R[1][5][2]
polys = R[1][5][3]
elim = R[1][5][1][0]
den = R[1][5][1][1]
polys = R[1][5][1][2]
# solutions
intervals = R[2][1]

Expand All @@ -96,7 +96,7 @@ def FormatOutputMSolve(foutput):
if len(elim) > 0:
pelim = A(elim[1])
else:
return A(-2), A(1), [], [], []
return None, None, A(-2), None, None, None, None

pden, p, c = A(1), [], []
if qdim > 0:
Expand Down
22 changes: 0 additions & 22 deletions test/diff/diff_reals_dim0-chgvar.sh
Original file line number Diff line number Diff line change
Expand Up @@ -13,28 +13,6 @@ if [ $? -gt 0 ]; then
exit 2
fi

$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
-p 256 -l 2 -t 1
if [ $? -gt 0 ]; then
exit 3
fi

diff test/diff/$file.res output_files/$file.p256.res
if [ $? -gt 0 ]; then
exit 4
fi

$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
-p 256 -l 2 -t 2
if [ $? -gt 0 ]; then
exit 5
fi

diff test/diff/$file.res output_files/$file.p256.res
if [ $? -gt 0 ]; then
exit 6
fi

$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
-l 2 -t 2
if [ $? -gt 0 ]; then
Expand Down

0 comments on commit 15c433b

Please sign in to comment.