Opened 4 years ago

Last modified 4 months ago

#24392 new defect

strange handling of variables in assume

Reported by: vittucek Owned by:
Priority: minor Milestone: sage-9.5
Component: symbolics Keywords:
Cc: rws, egourgoulhon Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Sometimes it is ok to refer to a variable via string, sometimes it's not. Depends on the kind of assumption.

var('a b')
assume('a', a > 1)
assume(a, "integer")
assume('b', b > 1)
assume('b', "integer")
assumptions()
(a, b)
[a > 1, a is integer, b > 1]

Change History (5)

comment:1 Changed 4 years ago by vittucek

  • Cc rsw added

comment:2 Changed 17 months ago by mkoeppe

  • Cc rws egourgoulhon added; rsw removed
  • Milestone changed from sage-8.2 to sage-9.2

comment:3 Changed 16 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:4 Changed 10 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:5 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.