Macaulay2 » Documentation
Packages » SumsOfSquares :: solveSOS(...,Verbosity=>...)

Description

This optional argument indicates how much information should be given to the user. The possible values are:

• 0 (default) -- no information is printed.
• 1 -- minimal information (solver used, input/output files, status of the solver).
• 2 -- more detailed information (e.g., progress of the solver).

Further information

• Default value: 0
• Function: solveSOS -- solve a sum-of-squares problem
• Option key: Verbosity -- an optional argument

Functions with optional argument named Verbosity:

• icFracP(...,Verbosity=>...) -- Prints out the conductor element and the number of intermediate modules it computed.
• idealizer(...,Verbosity=>...) -- see idealizer -- compute Hom(I,I) as a quotient ring
• integralClosure(...,Verbosity=>...) -- display a certain amount of detail about the computation
• isPrime(Ideal,Verbosity=>...) -- see isPrime(Ideal) -- whether an ideal is prime
• makeS2(...,Verbosity=>...) -- see makeS2 -- compute the S2ification of a reduced ring
• decompose(Ideal,Verbosity=>...) -- see minimalPrimes -- minimal primes of an ideal
• minimalPrimes(...,Verbosity=>...) -- see minimalPrimes -- minimal primes of an ideal
• ringFromFractions(...,Verbosity=>...) -- see ringFromFractions -- find presentation for f.g. ring
• checkSolver(...,Verbosity=>...)
• lowerBound(...,Verbosity=>...)
• solveSOS(...,Verbosity=>...) -- control the level of information printed
• sosdecTernary(...,Verbosity=>...)
• sosInIdeal(...,Verbosity=>...)
• checkOptimize(...,Verbosity=>...) -- see Verbosity -- control the level of information printed
• optimize(...,Verbosity=>...) -- see Verbosity -- control the level of information printed