Comments (8)
I will likely drop PBORI_HAVE_NTL. It is likely a remnant, ntl is not a dependency of brial and hasn't been for quite a while as far as I remember.
Will the change require bumping LT_CURRENT or LT_REVISION in your opinion.
from brial.
Hmmm... I would say no... But it's a good question : I'm unsure...
from brial.
Removing PBORI_HAVE_NTL leads to some code simplifications that are not obvious at first glance. I don't think we are changing any API technically, so no bumps. But some code blocks will go.
from brial.
I hate the fact that the code can be different formatting style in the same file. Make things harder to follow properly. But standardizing the style would basically destroy the history.
from brial.
Because m4ri is a requirement at configure time, I think I will also eliminate all conditionals on PBORI_HAVE_M4RI in the code. I should still add it to config.h.in
. That will completely get rid of the problems with faugereStepDense
.
from brial.
OK, master should have stuff for all these now. Let me know if your problems are still happening. And don't hesitate to signal any other issue.
from brial.
I am preparing 1.2.7 which should have a sdist on github in the next 24 hours. For the record, following libtool guideline I incremented LT_REVISION. You should do that for any code change. I didn't bump it in 1.2.6 because the release only touched the sage python code part of the tarball.
from brial.
OK. Closing. Any new stuff will be for a new issue.
from brial.
Related Issues (20)
- Fix compilation with c++11 (default for gcc>=6) HOT 17
- Fix the testsuite HOT 6
- do not hardcode python2.7 in configure.ac HOT 1
- clang++ warning HOT 4
- self initialisation in groebner/include/polybori/groebner/CountCriterion.h HOT 9
- libbrial/include/polybori/config.h.in is missing from the master branch HOT 2
- OSX build does not pass tests HOT 3
- Just a thank you HOT 2
- Tighter config.h.in HOT 3
- brial/general_boolean_polynomial.py:449: SyntaxWarning: "is not" with a literal. Did you mean "!="? HOT 3
- [PATCH] Failing test on ia64 and alpha architecture HOT 8
- VERSION in polybori/config.h ? HOT 3
- Update ax_boost_base.m4 HOT 2
- gcc 12 deprecation warnings HOT 1
- Test failures with boost 1.81 HOT 3
- [PATCH - one-liner] Remove superfluous import of removed function HOT 1
- Expose debugging macros at build time (and disable by default?) HOT 9
- Status of gui, ipbori and docs HOT 2
- building with gcc 6.1 apparently fails HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from brial.