[sage-support] Maximal number of worksheets
Hello, I would like to know if there is one maximal number of worksheets. It seems to be the case for active worksheets not archived. Isn't it ? What about the archived worksheets. Best regards. Christophe -- You received this message because you are subscribed to the Google Groups sage-support group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
Re: [sage-support] Re: Replace variable of one polynomial with one matrix
Thanks a lot.
Christophe.
2012/12/18 John H Palmieri jhpalmier...@gmail.com
On Tuesday, December 18, 2012 11:45:47 AM UTC-8, projetmbc wrote:
Hello,
in the following code I would like to replace x with T in Delta_X so as
to illustrate
the Cayley Hamilton theorem by doing everything by hands.
Is it possible ?
Best regards.
Christophe BAL
=
var('a b c d e f')
T = matrix([
[a, b, c],
[0, d, e],
[0, 0, f]
])
T_X = T - x*identity_matrix(3)
Delta_X = det(T_X)
I can't get that to work. However, this does: treat the variables as
polynomial indeterminates instead of symbolic variables.
sage: R.a,b,c,d,e,f,x = QQ[]
sage: T = matrix([
[a, b, c],
[0, d, e],
[0, 0, f]
])
sage: T_X = T - x*identity_matrix(3)
sage: Delta_X = det(T_X)
sage: Delta_X.subs(x=T)
[0 0 0]
[0 0 0]
[0 0 0]
--
John
--
You received this message because you are subscribed to the Google Groups
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.
--
You received this message because you are subscribed to the Google Groups
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.
Re: [sage-support] Sat Solver
Works for me $ sage -- | Sage Version 5.4.1, Release Date: 2012-11-15 | | Type notebook() for the browser-based notebook interface.| | Type help() for help.| -- sage: from sage.sat.solvers import SatSolver sage: $ /opt/sage-5.5.rc1/sage -- | Sage Version 5.5.rc1, Release Date: 2012-12-18 | | Type notebook() for the browser-based notebook interface.| | Type help() for help.| -- ** ** * Warning: this is a prerelease version, and it may be unstable. * ** ** sage: from sage.sat.solvers import SatSolver sage: On Monday 24 Dec 2012, Santanu Sarkar wrote: Dear all, To solve a SAT problem, when I have written the following, I got error. from sage.structure.sequence import Sequence from sage.rings.infinity import PlusInfinity from sage.sat.solvers import SatSolver from sage.sat.converters import ANF2CNFConverter Traceback (click to the left of this block for traceback) ... ImportError: No module named sat.solvers Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- You received this message because you are subscribed to the Google Groups sage-support group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
Re: [sage-support] Sat Solver
Thank you. I will install the new version. On 24 December 2012 17:28, Martin Albrecht martinralbre...@googlemail.comwrote: Works for me $ sage -- | Sage Version 5.4.1, Release Date: 2012-11-15 | | Type notebook() for the browser-based notebook interface.| | Type help() for help.| -- sage: from sage.sat.solvers import SatSolver sage: $ /opt/sage-5.5.rc1/sage -- | Sage Version 5.5.rc1, Release Date: 2012-12-18 | | Type notebook() for the browser-based notebook interface.| | Type help() for help.| -- ** ** * Warning: this is a prerelease version, and it may be unstable. * ** ** sage: from sage.sat.solvers import SatSolver sage: On Monday 24 Dec 2012, Santanu Sarkar wrote: Dear all, To solve a SAT problem, when I have written the following, I got error. from sage.structure.sequence import Sequence from sage.rings.infinity import PlusInfinity from sage.sat.solvers import SatSolver from sage.sat.converters import ANF2CNFConverter Traceback (click to the left of this block for traceback) ... ImportError: No module named sat.solvers Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- You received this message because you are subscribed to the Google Groups sage-support group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en. -- You received this message because you are subscribed to the Google Groups sage-support group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
