2016-06-21 21:57:01 +0100 | received badge | ● Editor (source) |

2016-06-21 21:40:08 +0100 | received badge | ● Nice Question (source) |

2016-06-21 10:20:40 +0100 | received badge | ● Student (source) |

2016-06-21 00:18:52 +0100 | asked a question | assume certain properties of the output of a function Hi, I've just started using SAGE and I want to "declare" a symbolic function I know I can use assume for variables, but it seems it doesn't also work on functions, so I'm trying to see what alternatives I have left. I have thought of "defining" the function f(t), with some mock values which don't contradict my assumptions(I don't actually know f(t), I only know some of it's properties), but I'm not sure how to force sage not to expand the function. I have tried Edit: Upon the comment made by @eric_g I add the following information: Output Two things puzzle me: - How to get "c)" and "d)" to return true
- While "a)" returns true probably due to the second assumption, I would expect "b)" to also be true
Is the behavior I'm seeing incorrect, or am I just using SAGE wrong? Thanks |

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.