search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.39k stars 473 forks source link

Let OEIS sequences have unique representation #28480

Closed edd8e884-f507-429a-b577-5d554626c0fe closed 5 years ago

edd8e884-f507-429a-b577-5d554626c0fe commented 5 years ago

While innocent looking, this feature is a first step towards bandwidth saving. At least, it reduces overall code length.

CC: @mo271 @videlec @seblabbe

Component: combinatorics

Author: Thierry Monteil

Branch: 99419a8

Reviewer: Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/28480

edd8e884-f507-429a-b577-5d554626c0fe commented 5 years ago

Branch: u/tmonteil/let_oeis_sequences_have_unique_representation

edd8e884-f507-429a-b577-5d554626c0fe commented 5 years ago

New commits:

99419a8#28480 UniqueRepresentation for OEISSequence
edd8e884-f507-429a-b577-5d554626c0fe commented 5 years ago

Commit: 99419a8

edd8e884-f507-429a-b577-5d554626c0fe commented 5 years ago
comment:3

For what is worth, the next step is to have a lazy OEISSequence that could exist as soon as its ID is known, and fetch data on the internet only when needed, not during __init__. Then, we will be able to use local data as well (e.g. for first terms and name). Then, we will have some overflow detection, that will advise the user who uses oeis online intensively to fetch some data once for all. This is how i currently plan to split the various tickets. The global goal is to save bandwidth, protect oeis servers from brute force searches, and allow faster searches. I plan to push a step only when the previous is merged to avoid rebasing between tickets.

fchapoton commented 5 years ago

Reviewer: Frédéric Chapoton

fchapoton commented 5 years ago
comment:4

ok, good to go

fchapoton commented 5 years ago
comment:5

moving milestone to 9.0 (after release of 8.9)

vbraun commented 5 years ago

Changed branch from u/tmonteil/let_oeis_sequences_have_unique_representation to 99419a8

edd8e884-f507-429a-b577-5d554626c0fe commented 5 years ago

Changed commit from 99419a8 to none

edd8e884-f507-429a-b577-5d554626c0fe commented 5 years ago
comment:7

Follow-up: #28627 (lazy OEIS sequences).