First time here? Check out the FAQ!
Hi there! Please sign in
help
tags
users
badges
ALL
UNANSWERED
Ask Your Question
sage_learner's profile - overview
overview
network
karma
followed questions
activity
21
karma
follow
Registered User
member since
2012-10-17 07:48:57 +0100
last seen
2013-01-22 04:52:12 +0100
todays unused votes
30
votes left
6
Questions
733
views
1
answer
1
vote
2012-10-26 14:14:07 +0100
ndomes
Equivalence operator
Logical-equivalence
1k
views
2
answers
1
vote
2013-01-03 06:22:00 +0100
Bétréma
Express domain membership
domain
membership
554
views
1
answer
no
votes
2013-01-12 21:35:42 +0100
Eviatar Bach
implication
logic
782
views
1
answer
no
votes
2012-10-25 23:04:00 +0100
benjaminfjones
Assumptions in sage
assumption
450
views
1
answer
no
votes
2013-01-06 09:24:55 +0100
Bétréma
Need to improve a function in sage which checks trueness of expressions in an example.
checking_expressions
436
views
2
answers
no
votes
2013-01-04 09:43:42 +0100
kcrisman
Behavior of 'or'
or
full_simplify
symbolic_issue
0
Answers
3
Votes
3
0
9
Tags
checking_expre...
× 4
domain
× 3
membership
× 3
full_simplify
× 2
assumption
× 2
Logical-equiva...
× 2
or
× 2
logic
× 2
symbolic_issue
× 2
4
Badges
●
Student
×
1
Equivalence operator
●
Popular Question
×
1
Equivalence operator
●
Supporter
×
1
Equivalence operator
●
Editor
×
1
Behavior of 'or'
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a
Creative Commons Attribution Share Alike 3.0
license.
Powered by Askbot version 0.7.59
Please note: Askbot requires javascript to work properly, please enable javascript in your browser,
here is how