#print "Ideal: " + str(f); #print; f = r.ideal(ps) print "Ideal: " + str(f) print from java.lang import System from java.io import StringReader from edu.jas.structure import * from edu.jas.arith import * from edu.jas.poly import * from org.apache.log4j import BasicConfigurator BasicConfigurator.configure() pps = """ 3 x1^2 x3^4 + 7 x2^5 - 61 """ ri = r.ring print "ri = " + str(ri) pol = r.pset print "pol = " + str(pol) pol = ri.parse(pps) print "pol = " + str(pol)
def startLog():
'''Configure the log4j system and start logging.
'''
BasicConfigurator.configure();
pkg_ver = TestReporting.API_WRAPPER.getPackageVersion(pkg_uuid,
TestSwampApiWrapper.PROJECT)
platform = TestReporting.API_WRAPPER.getDefaultPlatformVersion(pkg_ver.getPackageThing().getType())
assessment_run = TestReporting.API_WRAPPER.runAssessment(pkg_ver,
tool,
TestReporting.API_WRAPPER.getProject(TestSwampApiWrapper.PROJECT),
platform)
self.assertIsNotNone(assessment_run)
arun_results_uuid = None
while True:
assessment_record = TestReporting.API_WRAPPER.getAssessmentRecord(TestSwampApiWrapper.PROJECT,
assessment_run.getUUIDString())
status = AssessmentStatus.translateAssessmentStatus(assessment_record.getStatus())
print(status, assessment_record.getStatus())
time.sleep(10);
if status == AssessmentStatus.FAILED or status == AssessmentStatus.SUCCESS:
arun_results_uuid = assessment_record.getAssessmentResultUUID()
break;
outfile = osp.join(osp.dirname(__file__), 'outfile.xml')
TestReporting.API_WRAPPER.getAssessmentResults(TestSwampApiWrapper.PROJECT,
arun_results_uuid,
outfile)
if __name__ == '__main__':
BasicConfigurator.configure(NullAppender())
unittest.main(verbosity=2)
# print; f = r.ideal(ps) print "Ideal: " + str(f) print from java.lang import System from java.io import StringReader from edu.jas.structure import * from edu.jas.arith import * from edu.jas.poly import * from org.apache.log4j import BasicConfigurator BasicConfigurator.configure() pps = """ 3 x1^2 x3^4 + 7 x2^5 - 61 """ ri = r.ring print "ri = " + str(ri) pol = r.pset print "pol = " + str(pol) pol = ri.parse(pps) print "pol = " + str(pol)
def setup_console_logging(level = INFO):
"""Sets up basic console logging at the given log level.
"""
BasicConfigurator.configure()
getRootLogger().setLevel(level)
