#6177: [with patch, needs work] Update PolyBoRi to newest upstream release
-------------------------+--------------------------------------------------
Reporter: malb | Owner: malb
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.1.1
Component: packages | Keywords: M4RI, PolyBoRi
Reviewer: | Author:
Merged: |
-------------------------+--------------------------------------------------
Comment(by PolyBoRi):
I have to add that also substitute_variables(vec, poly) is missing, which
is
an instantiation of
substitute_variables<std::vector<BoolePolynomial>, BoolePolynomial>
var(i) (our polybori indices) is replaced by vec[i] in poly.
docs:
BoolePolyRing::clone is a flat copy of the ring, as well as the normal
copy constructor.
In contrast to using the constructor, the new ring will contain its own
vector of variable names,
so changing a variable name via {{{set_variable_name}}}
won't modify the original ring.
ll_red_nf_noredsb_single_recursive call has the same specification as
ll_red_nf_noredsb, but a different implementation:
This is described in my PHD thesis, the corresponding chapter is available
on demand.
It is very sensitive to the ordering of variables, however it has the very
nice property, that it needs just one recursive call.
We provide utilities for determing an appropriate var ordering. It is a
matter of research, to find good heuristics here.
But I think, that I have a good solution.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6177#comment:26>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
