Opened 8 years ago

Closed 7 years ago

#15097 closed enhancement (fixed)

improve documentation of is_prime

Reported by: zimmerma Owned by:
Priority: trivial Milestone: sage-6.1
Component: basic arithmetic Keywords: beginner
Cc: Merged in:
Authors: Paul Zimmermann Reviewers: Julian Rueth
Report Upstream: N/A Work issues:
Branch: u/saraedum/ticket/15097 (Commits, GitHub, GitLab) Commit: 940c518e58438f56e9f9e068bbeeac3b31daf355
Dependencies: Stopgaps:

Status badges

Description (last modified by saraedum)

The documentation of is_prime says: 

sage: n=17
sage: n.is_prime?
...
   * "proof" -- If False, use a strong pseudo-primality test. If True,
     use a provable primality test.  If unset, use the default
     arithmetic proof flag.

however no example or pointer is given to explain how to access or change the "default arithmetic proof flag".

Attachments (1)

trac_15097.patch​ (1.1 KB) - added by zimmerma 8 years ago.

Download all attachments as: .zip

Change History (8)

Changed 8 years ago by zimmerma

comment:1 Changed 8 years ago by zimmerma

  • Authors set to Paul Zimmermann
  • Status changed from new to needs_review

comment:2 Changed 8 years ago by saraedum

  • Branch set to u/saraedum/ticket/15097
  • Created changed from 08/25/13 11:00:58 to 08/25/13 11:00:58
  • Modified changed from 08/25/13 11:08:40 to 08/25/13 11:08:40

comment:3 Changed 8 years ago by saraedum

  • Description modified (diff)
  • Milestone changed from sage-5.12 to sage-6.0
  • Status changed from needs_review to positive_review

comment:4 Changed 8 years ago by saraedum

  • Modified changed from 08/28/13 14:46:19 to 08/28/13 14:46:19

I abused your ticket to test the git dev scripts. I turned your patch into a branch. I hope you don't mind.

comment:5 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.0 to sage-6.1

comment:6 Changed 7 years ago by vbraun

  • Commit set to 940c518e58438f56e9f9e068bbeeac3b31daf355
  • Reviewers set to Julian Rueth

Reviewer names...

New commits:

​940c518#15097: improve documentation of is_prime

comment:7 Changed 7 years ago by vbraun

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