Skip to content

some annotations on "divisors"#41948

Merged
vbraun merged 1 commit into
sagemath:developfrom
fchapoton:typing_divisors
Apr 19, 2026
Merged

some annotations on "divisors"#41948
vbraun merged 1 commit into
sagemath:developfrom
fchapoton:typing_divisors

Conversation

@fchapoton

Copy link
Copy Markdown
Contributor

to tell that this returns lists

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.

@github-actions

github-actions Bot commented Apr 8, 2026

Copy link
Copy Markdown

Documentation preview for this PR (built with commit f1a22d2; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

vbraun pushed a commit to vbraun/sage that referenced this pull request Apr 11, 2026
sagemathgh-41948: some annotations on "divisors"
    
to tell that this returns lists

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
    
URL: sagemath#41948
Reported by: Frédéric Chapoton
Reviewer(s): Chenxin Zhong
vbraun pushed a commit to vbraun/sage that referenced this pull request Apr 12, 2026
sagemathgh-41948: some annotations on "divisors"
    
to tell that this returns lists

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
    
URL: sagemath#41948
Reported by: Frédéric Chapoton
Reviewer(s): Chenxin Zhong
vbraun pushed a commit to vbraun/sage that referenced this pull request Apr 14, 2026
sagemathgh-41948: some annotations on "divisors"
    
to tell that this returns lists

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
    
URL: sagemath#41948
Reported by: Frédéric Chapoton
Reviewer(s): Chenxin Zhong
@vbraun vbraun merged commit df62174 into sagemath:develop Apr 19, 2026
26 checks passed
@fchapoton fchapoton deleted the typing_divisors branch April 19, 2026 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants