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
12 years ago
last seen
12 years ago
todays unused votes
30
votes left
6
Questions
883
views
1
answer
1
vote
12 years ago
ndomes
Equivalence operator
Logical-equivalence
1k
views
2
answers
1
vote
12 years ago
Bétréma
Express domain membership
domain
membership
581
views
1
answer
no
votes
12 years ago
Eviatar Bach
implication
logic
948
views
1
answer
no
votes
12 years ago
benjaminfjones
Assumptions in sage
assumption
479
views
1
answer
no
votes
12 years ago
Bétréma
Need to improve a function in sage which checks trueness of expressions in an example.
checking_expressions
471
views
2
answers
no
votes
12 years ago
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
●
Popular Question
×
1
Equivalence operator
●
Supporter
×
1
Equivalence operator
●
Student
×
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