id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
9880 Pynac comparison functions do not provide a SWO jpflori burcin "Here is a short example found by Burcin and reproducing the bug:
{{{
b = [var('b_%s'%i) for i in range(4)]
precomp = (2^b_2 + 2)*(2^b_1 + 2^(-b_1) + 2^b_1*2^b_0 - 2^b_1*2^(-b_0)
- 2^(-b_1)*2^b_0 - 2^(-b_1)*2^(-b_0) + 2^b_0 + 2^(-b_0) - 9) + (2^b_1 +
2^(-b_1) + 2^b_1*2^b_0 - 2^b_1*2^(-b_0) - 2^(-b_1)*2^b_0 -
2^(-b_1)*2^(-b_0) + 2^b_0 + 2^(-b_0) - 9)/2^b_2
repl_dict = {b_0: b_0, b_3: b_1, b_2: b_3, b_1: b_2}
P = precomp.substitute(repl_dict)
P.expand()
}}}
This is already being discussed here: http://groups.google.com/group/sage-support/browse_thread/thread/7c85f02c76012722
The following patches are for the Sage library to enable access to the PyNaC order and randomly test that it is a SWO:
First build Pynac with patches from Burcin's pynac queue https://bitbucket.org/burcin/pynac-patches applied and install it.
Then apply
1. [attachment:trac_9880_pynac_order.take2.rebased-5.5.rc0.patch]
1. [attachment:trac_9880_randomized_testing.patch]
1. [attachment:trac_9880-stable_operands.rebased-5.5.rc0.patch]
1. [attachment:trac_9880-fix_comparison-p1.rebased-5.5.rc0.patch]
1. [attachment:trac_9880-fix_variables_ordering.patch]
1. [attachment:trac_9880-doctest_for_9046-rebased-5.9.patch]
1. [attachment:trac_9880-fix_doctests_symbolic.take2.rebased-5.9.patch]
1. [attachment:trac_9880-fix_doctests-be.rebased-5.9.patch]
" defect needs_work major sage-4.6 symbolics pynac kcrisman N/A