Opened 10 years ago

Closed 6 years ago

#8797 closed task (fixed)

add symbolic logic to the reference manual

Reported by: mvngu Owned by: mvngu
Priority: major Milestone: sage-6.4
Component: documentation Keywords: beginner doctest documentation
Cc: Merged in:
Authors: Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by tscrim)

As the subject says. Currently, the modules under sage/logic/ are not in the reference manual. Clean up the documentation of all modules under sage/logic/ and get those modules in the reference manual. But before adding them to the reference manual, first we need to clean up their documentation. This clean-up task is spread across the following tickets:

  • #8790 --- improve doctest coverage of logic/logic.py
  • #8792 --- clean up documentation of logic/booleval.py
  • #8793 --- clean up documentation of logic/boolformula.py
  • #8794 --- clean up documentation of logic/logicparser.py
  • #8795 --- clean up documentation of logic/logictable.py
  • #8796 --- clean up documentation of logic/propcalc.py
  • #15768 --- clean up documentation of logic/* (which also takes care of #8790, #8794 and #8795)

Change History (10)

comment:1 Changed 7 years ago by knsam

I am working on this and all its related tickets. ~KnS

comment:2 Changed 7 years ago by knsam

  • Keywords beginner doctest documentation added

comment:3 Changed 7 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:4 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:5 Changed 6 years ago by tscrim

  • Description modified (diff)

comment:6 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:7 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:8 Changed 6 years ago by moritz

  • Status changed from new to needs_review

Since all the task are completed, I suggest to close this ticket.

comment:9 Changed 6 years ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review
  • Type changed from enhancement to task

comment:10 Changed 6 years ago by vbraun

  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.