#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)