[sage-support] Cryptominisat in Sage

2023-04-21 Thread Dibyendu Roy
Dear all, Could you please help me to install cryptominisat in Macbook m2. I am getting error after giving the following command sage: libgap.InstallPackage("Cryptominisat") -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from

[sage-support] multiprocessing_sage

2020-06-08 Thread Dibyendu Roy
from sage.parallel.multiprocessing_sage import pyprocessing p_iter = pyprocessing(4) P = parallel(p_iter=p_iter) def f(x): y=x+2 return y v = list(P(f)(list(range(10; v.sort() print(v) why I am not able to compile the code? If I return only x then it shows the output. Please help m

[sage-support] system of equation

2015-04-21 Thread Dibyendu Roy
Dear Members, In each iteration i am getting one equation say f_i=0 and after final step of the iteration i want to construct one system of equations of the form Y=[f_1, f_2, f_3,..] (to solve it). How can I get the final system after the final step of the iteration. -- You received this

[sage-support] CryptoMiniSat

2015-04-20 Thread Dibyendu Roy
Dear Members, I want to install CryptoMiniSat 2.9.9. I have downloaded the latest file from https://gforge.inria.fr/frs/?group_id=1992. Could you please tell me the procedure of installation. I am using sage 6.4.1. -- You received this message because you are subscribed to the Google Groups "

[sage-support] Re: Iteration in boolean polynomial ring

2015-01-04 Thread Dibyendu Roy
Thank you very much. Yes number of iteration is fixed. On Saturday, January 3, 2015 8:59:21 AM UTC, Dibyendu Roy wrote: > > I am learning sage for first time. I want to do iteration in boolean > polynomial ring. > > sage: from polybori import * > sage: declare_ring([Block(&#

[sage-support] Re: Iteration in boolean polynomial ring

2015-01-03 Thread Dibyendu Roy
updated by another boolean expression. And finally i want to find the expresion of say xi. for i =1 to k { x1=f1(x1,...,xn) x2=f2(x1,...,xn) ... ... xn=fn(x1,...,xn) } finally return x1,,xn On Saturday, January 3, 2015 2:29:21 PM UTC+5:30, Dibyendu Roy wrote: > > I am learning sa

[sage-support] Iteration in boolean polynomial ring

2015-01-03 Thread Dibyendu Roy
I am learning sage for first time. I want to do iteration in boolean polynomial ring. sage: from polybori import * sage: declare_ring([Block('x',177),Block('y',2)],globals()) sage: r sage: x(1)=x(0)*y(0) Its showing me following error ValueError: Argument names should be valid python identifie