data/brial-1.2.10/.gitignore: ASCII text data/brial-1.2.10/.travis.yml: ASCII text data/brial-1.2.10/LICENSE: ASCII text data/brial-1.2.10/Makefile.am: automake makefile script, ASCII text data/brial-1.2.10/README.md: ASCII text data/brial-1.2.10/bootstrap.sh: Bourne-Again shell script, ASCII text executable data/brial-1.2.10/common.mk: ASCII text data/brial-1.2.10/configure.ac: M4 macro processor script, ASCII text data/brial-1.2.10/cudd/LICENSE: ASCII text data/brial-1.2.10/cudd/Makefile.am: ASCII text data/brial-1.2.10/cudd/README: ASCII text data/brial-1.2.10/cudd/README-BRiAl: ASCII text data/brial-1.2.10/cudd/RELEASE.NOTES: ASCII text data/brial-1.2.10/cudd/cudd.h: C source, ASCII text data/brial-1.2.10/cudd/cuddAPI.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAddAbs.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAddApply.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAddFind.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAddInv.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAddIte.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAddNeg.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAddWalsh.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAndAbs.c: C source, ASCII text data/brial-1.2.10/cudd/cuddAnneal.c: C source, ASCII text data/brial-1.2.10/cudd/cuddApa.c: C source, ASCII text data/brial-1.2.10/cudd/cuddApprox.c: C source, ASCII text data/brial-1.2.10/cudd/cuddBddAbs.c: C source, ASCII text data/brial-1.2.10/cudd/cuddBddCorr.c: C source, ASCII text data/brial-1.2.10/cudd/cuddBddIte.c: C source, ASCII text data/brial-1.2.10/cudd/cuddBridge.c: C source, ASCII text data/brial-1.2.10/cudd/cuddCache.c: C source, ASCII text data/brial-1.2.10/cudd/cuddCheck.c: C source, ASCII text data/brial-1.2.10/cudd/cuddClip.c: C source, ASCII text data/brial-1.2.10/cudd/cuddCof.c: C source, ASCII text data/brial-1.2.10/cudd/cuddCompose.c: C source, ASCII text data/brial-1.2.10/cudd/cuddDecomp.c: C source, ASCII text data/brial-1.2.10/cudd/cuddEssent.c: C source, ASCII text data/brial-1.2.10/cudd/cuddExact.c: C source, ASCII text data/brial-1.2.10/cudd/cuddExport.c: C source, ASCII text data/brial-1.2.10/cudd/cuddGenCof.c: C source, ASCII text data/brial-1.2.10/cudd/cuddGenetic.c: C source, ASCII text data/brial-1.2.10/cudd/cuddGroup.c: C source, ASCII text data/brial-1.2.10/cudd/cuddHarwell.c: C source, ASCII text data/brial-1.2.10/cudd/cuddInit.c: C source, ASCII text data/brial-1.2.10/cudd/cuddInt.h: C source, ASCII text data/brial-1.2.10/cudd/cuddInteract.c: C source, ASCII text data/brial-1.2.10/cudd/cuddLCache.c: C source, ASCII text data/brial-1.2.10/cudd/cuddLevelQ.c: C source, ASCII text data/brial-1.2.10/cudd/cuddLinear.c: C source, ASCII text data/brial-1.2.10/cudd/cuddLiteral.c: C source, ASCII text data/brial-1.2.10/cudd/cuddMatMult.c: C source, ASCII text data/brial-1.2.10/cudd/cuddPriority.c: C source, ASCII text data/brial-1.2.10/cudd/cuddRead.c: C source, ASCII text data/brial-1.2.10/cudd/cuddRef.c: C source, ASCII text data/brial-1.2.10/cudd/cuddReorder.c: C source, ASCII text data/brial-1.2.10/cudd/cuddSat.c: C source, ASCII text data/brial-1.2.10/cudd/cuddSign.c: C source, ASCII text data/brial-1.2.10/cudd/cuddSolve.c: C source, ASCII text data/brial-1.2.10/cudd/cuddSplit.c: C source, ASCII text data/brial-1.2.10/cudd/cuddSubsetHB.c: C source, ASCII text data/brial-1.2.10/cudd/cuddSubsetSP.c: C source, ASCII text data/brial-1.2.10/cudd/cuddSymmetry.c: C source, ASCII text data/brial-1.2.10/cudd/cuddTable.c: C source, ASCII text data/brial-1.2.10/cudd/cuddUtil.c: C source, ASCII text data/brial-1.2.10/cudd/cuddWindow.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddCount.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddFuncs.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddGroup.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddIsop.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddLin.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddMisc.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddPort.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddReord.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddSetop.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddSymm.c: C source, ASCII text data/brial-1.2.10/cudd/cuddZddUtil.c: C source, ASCII text data/brial-1.2.10/cudd/r7x8.1.mat: ASCII text data/brial-1.2.10/cudd/testcudd.c: C source, ASCII text data/brial-1.2.10/cudd/util.h: C source, ASCII text data/brial-1.2.10/groebner/Makefile.am: automake makefile script, ASCII text data/brial-1.2.10/groebner/include/Makefile.am: ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/BitMask.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/BlockOrderHelper.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/BoundedDivisorsOf.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ChainCriterion.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ChainVariableCriterion.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/CheckChainCriterion.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/CountCriterion.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/DegOrderHelper.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ExpGreater.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ExpLexLess.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/FGLMStrategy.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/GetNthPoly.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/GroebnerOptions.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/GroebnerStrategy.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/IJPairData.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/IsEcart0Predicate.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/IsVariableOfIndex.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LLReduction.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LLReductor.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LMLessCompare.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LMLessComparePS.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LargerDegreeComparer.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LeadingTerms.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LeadingTerms00.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LeadingTerms11.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LessCombinedManySizesInStrat.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LexBucket.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LexOrderGreaterComparer.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LiteralFactorization.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/LiteralFactorizationIterator.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/Long64From32BitsPair.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/MatrixMonomialOrderTables.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/MinimalLeadingTerms.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/MonomialHasher.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/MonomialPlusOneTerms.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/MonomialTerms.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/NBitsUsed.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/NextSpoly.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PSCompareByEl.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairData.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairE.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairECompare.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairLS.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairLSCompare.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairManager.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairManagerFacade.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PairStatusSet.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyEntry.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyEntryBase.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyEntryIndices.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyEntryPtrLmLess.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyEntryReference.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyEntryVector.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyFromPolyEntry.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyMonomialPairComparerLess.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyMonomialPairComparerLexLess.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolyPairData.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PolynomialSugar.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PseudoLongLong.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/PseudoLongProduct.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/RankingVector.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/RedTailNth.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ReductionOptions.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ReductionStrategy.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ReductionTerms.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/RelatedTerms.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/RelatedTermsBase.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/SetAssociatedMinimal.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/SetBitUInt.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLength.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLengthModified.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/SlimgbReduction.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/TermsFacade.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/TimesConstantImplication.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/TimesVariableSubstitution.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/VariablePairData.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ZeroFunction.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/add_up.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/cache_manager.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/contained_variables.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/dlex4data.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/dp_asc4data.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/draw_matrix.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/fixed_path_divisors.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/groebner.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/groebner_alg.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/groebner_defs.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/interpolate.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/ll_red_nf.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/lp4data.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/minimal_elements.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/nf.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/pairs.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/polynomial_properties.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/randomset.h: C source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h: C++ source, ASCII text data/brial-1.2.10/groebner/include/polybori/groebner/tables.h: C++ source, ASCII text data/brial-1.2.10/groebner/src/FGLMStrategy.cc: C++ source, ASCII text data/brial-1.2.10/groebner/src/GroebnerStrategy.cc: C source, ASCII text data/brial-1.2.10/groebner/src/LexBucket.cc: C source, ASCII text data/brial-1.2.10/groebner/src/LiteralFactorization.cc: C source, ASCII text data/brial-1.2.10/groebner/src/LiteralFactorizationIterator.cc: C source, ASCII text data/brial-1.2.10/groebner/src/Makefile.am: ASCII text data/brial-1.2.10/groebner/src/MatrixMonomialOrderTables.cc: C source, ASCII text data/brial-1.2.10/groebner/src/PairManager.cc: C source, ASCII text data/brial-1.2.10/groebner/src/PolyEntry.cc: C source, ASCII text data/brial-1.2.10/groebner/src/ReductionStrategy.cc: C source, ASCII text data/brial-1.2.10/groebner/src/dlex4data.cc: C source, ASCII text data/brial-1.2.10/groebner/src/dp_asc4data.cc: C source, ASCII text data/brial-1.2.10/groebner/src/groebner.cc: C source, ASCII text data/brial-1.2.10/groebner/src/groebner_alg.cc: C++ source, ASCII text data/brial-1.2.10/groebner/src/interpolate.cc: C source, ASCII text data/brial-1.2.10/groebner/src/lp4data.cc: C source, ASCII text data/brial-1.2.10/groebner/src/nf.cc: C++ source, ASCII text data/brial-1.2.10/groebner/src/pairs.cc: C source, ASCII text data/brial-1.2.10/groebner/src/polynomial_properties.cc: C++ source, ASCII text data/brial-1.2.10/groebner/src/randomset.cc: C source, ASCII text data/brial-1.2.10/libbrial/Makefile.am: automake makefile script, ASCII text data/brial-1.2.10/libbrial/include/Makefile.am: ASCII text data/brial-1.2.10/libbrial/include/polybori.h: C source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BlockDegLexOrder.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BlockDegRevLexAscOrder.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BooleConstant.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BooleEnv.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BooleExponent.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BoolePolyRing.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BoolePolynomial.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BooleSet.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BooleSetSequence.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/BooleVariable.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/DegLexOrder.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/DegRevLexAscOrder.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/LexOrder.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/cache/CCacheManagement.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/cache/CDegreeCache.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/cache/CacheManager.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/common/CCheckedIdx.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/common/CExtrusivePtr.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/common/CWeakPtr.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/common/CWeakPtrFacade.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/common/TransformedSequence.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/common/tags.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/common/traits.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/config.h.in: ASCII text data/brial-1.2.10/libbrial/include/polybori/cudd/cudd.h: C source, ASCII text data/brial-1.2.10/libbrial/include/polybori/cudd/cuddInt.h: C source, ASCII text data/brial-1.2.10/libbrial/include/polybori/cudd/prefix.h: C source, ASCII text data/brial-1.2.10/libbrial/include/polybori/cudd/prefix_internal.h: C source, ASCII text data/brial-1.2.10/libbrial/include/polybori/diagram/CApplyNodeFacade.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/diagram/CDDOperations.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/diagram/CNodeCounter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/except/CErrorInfo.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/except/PBoRiError.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/except/PBoRiGenericError.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/factories/CFactoryBase.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/factories/MonomialFactory.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/factories/PolynomialFactory.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/factories/SetFactory.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/factories/VariableBlock.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/factories/VariableFactory.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CBidirectTermIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CCuddFirstIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CCuddLastIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CCuddNavigator.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CExpIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CGenericIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/COrderedIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CStackSelector.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CTermGenerator.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CTermIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CTermStack.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/CVariableIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/PBoRiOutIter.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/iterators/TransformedIterator.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/literals/CLiteralCodes.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/literals/CStringLiteral.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/orderings/CBlockOrderingFacade.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingBase.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingFacade.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingTags.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/orderings/order_tags.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/orderings/order_traits.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/orderings/pbori_order.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/pbori_defs.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/polybori.h: C source, ASCII text data/brial-1.2.10/libbrial/include/polybori/ring/CCallbackWrapper.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/ring/CCuddCore.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/ring/CCuddInterface.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/ring/CMemberFunctionTraits.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/ring/CVariableNames.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/ring/WeakRingPtr.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo_int.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_algorithms.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_func.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines.h: C source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_cuddext.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_dd.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_hash.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h: C++ source, ASCII text data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_order.h: C++ source, ASCII text data/brial-1.2.10/libbrial/src/BlockDegLexOrder.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/BlockDegRevLexAscOrder.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/BooleEnv.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/BooleExponent.cc: C++ source, ASCII text data/brial-1.2.10/libbrial/src/BooleMonomial.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/BoolePolyRing.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/BoolePolynomial.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/BooleSet.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/BooleVariable.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/CCheckedIdx.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/CCuddFirstIter.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/CCuddLastIter.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/COrderingBase.cc: C source, UTF-8 Unicode text data/brial-1.2.10/libbrial/src/DegLexOrder.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/DegRevLexAscOrder.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/LexOrder.cc: C++ source, ASCII text data/brial-1.2.10/libbrial/src/Makefile.am: ASCII text data/brial-1.2.10/libbrial/src/PBoRiError.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/pbori_routines.cc: C source, ASCII text data/brial-1.2.10/libbrial/src/CErrorInfo.cc: C source, ASCII text data/brial-1.2.10/m4/ax_boost_base.m4: M4 macro processor script, ASCII text, with very long lines data/brial-1.2.10/m4/ax_boost_unit_test_framework.m4: M4 macro processor script, ASCII text data/brial-1.2.10/m4/ax_cxx_compile_stdcxx.m4: C++ source, ASCII text data/brial-1.2.10/m4/ax_m4ri_flags.m4: M4 macro processor script, ASCII text data/brial-1.2.10/sage-brial/README.md: ASCII text data/brial-1.2.10/sage-brial/brial/__init__.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/addition.py: Python script, ASCII text executable, with very long lines data/brial-1.2.10/sage-brial/brial/blocks.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/check_claims.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/cluster.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/cnf.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/coding.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/context.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/easy_polynomials.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/fglm.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/frontend.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/gbcore.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/gbrefs.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/general_boolean_polynomial.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/heuristics.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/interpolate.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/interred.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/intersect.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/intpolys.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/ll.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/memusage.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/ncf.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/nf.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/parallel.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/parsegat.py: Objective-C source, ASCII text data/brial-1.2.10/sage-brial/brial/partial.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/plot.py: Python script, UTF-8 Unicode text executable data/brial-1.2.10/sage-brial/brial/randompoly.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/rank.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/simplebb.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/specialsets.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/statistics.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/brial/PyPolyBoRi.py: Python script, ASCII text executable data/brial-1.2.10/sage-brial/setup.py: Python script, ASCII text executable data/brial-1.2.10/tests/BlockDegLexOrderTest.cc: C source, ASCII text data/brial-1.2.10/tests/BlockDegRevLexAscOrderTest.cc: C source, ASCII text data/brial-1.2.10/tests/BooleConstantTest.cc: C source, ASCII text data/brial-1.2.10/tests/BooleEnvTest.cc: C source, ASCII text data/brial-1.2.10/tests/BooleExponentTest.cc: C source, ASCII text data/brial-1.2.10/tests/BooleMonomialTest.cc: C source, ASCII text data/brial-1.2.10/tests/BoolePolyRingTest.cc: C++ source, UTF-8 Unicode text data/brial-1.2.10/tests/BoolePolynomialTest.cc: C source, ASCII text data/brial-1.2.10/tests/BooleSetTest.cc: C source, ASCII text data/brial-1.2.10/tests/BooleVariableTest.cc: C source, ASCII text data/brial-1.2.10/tests/CCuddDDFacadeTest.cc: C source, ASCII text data/brial-1.2.10/tests/CFactoryBaseTest.cc: C++ source, ASCII text data/brial-1.2.10/tests/CStringLiteralTest.cc: C++ source, ASCII text data/brial-1.2.10/tests/DegLexOrderTest.cc: C++ source, ASCII text data/brial-1.2.10/tests/DegRevLexAscOrderTest.cc: C source, ASCII text data/brial-1.2.10/tests/FGLMStrategyTest.cc: C source, ASCII text data/brial-1.2.10/tests/GroebnerStrategyTest.cc: C source, ASCII text data/brial-1.2.10/tests/LexOrderTest.cc: C source, ASCII text data/brial-1.2.10/tests/Makefile.am: ASCII text data/brial-1.2.10/tests/MonomialFactoryTest.cc: C source, ASCII text data/brial-1.2.10/tests/PBoRiErrorTest.cc: C source, ASCII text data/brial-1.2.10/tests/PolynomialFactoryTest.cc: C source, ASCII text data/brial-1.2.10/tests/PseudoLongProductTest.cc: C source, ASCII text data/brial-1.2.10/tests/SetFactoryTest.cc: C source, ASCII text data/brial-1.2.10/tests/VariableFactoryTest.cc: C source, ASCII text data/brial-1.2.10/tests/spolyTest.cc: C source, ASCII text data/brial-1.2.10/tests/term_accumulateTest.cc: C source, ASCII text data/brial-1.2.10/tests/unittests.cc: C source, ASCII text data/brial-1.2.10/tests/weak_pointersTest.cc: C++ source, ASCII text data/brial-1.2.10/debian/changelog: UTF-8 Unicode text data/brial-1.2.10/debian/control: ASCII text data/brial-1.2.10/debian/copyright: UTF-8 Unicode text data/brial-1.2.10/debian/gbp.conf: ASCII text data/brial-1.2.10/debian/libbrial-dev.install: ASCII text data/brial-1.2.10/debian/libbrial-groebner-dev.install: ASCII text data/brial-1.2.10/debian/libbrial-groebner3.install: ASCII text data/brial-1.2.10/debian/libbrial3.install: ASCII text data/brial-1.2.10/debian/patches/sage_brial_fixup.patch: unified diff output, ASCII text data/brial-1.2.10/debian/patches/series: ASCII text data/brial-1.2.10/debian/patches/typo.patch: unified diff output, ASCII text data/brial-1.2.10/debian/python3-brial.install: ASCII text data/brial-1.2.10/debian/rules: a /usr/bin/make -f script, ASCII text executable data/brial-1.2.10/debian/source/format: ASCII text data/brial-1.2.10/debian/tests/control: ASCII text data/brial-1.2.10/debian/watch: ASCII text data/brial-1.2.10/.pc/.version: ASCII text data/brial-1.2.10/.pc/.quilt_patches: ASCII text data/brial-1.2.10/.pc/.quilt_series: ASCII text data/brial-1.2.10/.pc/applied-patches: ASCII text data/brial-1.2.10/.pc/sage_brial_fixup.patch/sage-brial/brial/PyPolyBoRi.py: Python script, ASCII text executable data/brial-1.2.10/.pc/typo.patch/libbrial/src/CErrorInfo.cc: C source, ASCII text