synonyms in simple search mode [Risolto]

Pubblicazioni di 7 • visto 150 volte

Questo messaggio ha lo scopo di: suggerisci un'idea per migliorare Numista

Stato implementato
Voti positivi: 9
Voti negativi: 0
now the simple search mode is ok, but no flexible enough.

for example, when I was running the search Czechoslovakia 10 hellers 1932 KM# 3 nothing was found, until I replaced "hellers" with "Haléřů" or I have to remove the currency name

I suggest there should exist some mechanism, where users/referees can contribute some synonyms of countries and currencies, then programmers of this website can use them to make the search more flexible.
more examples:
Drachmas -> Drachmai
GDR -> German Democratic Republic
¼ -> 1/4

the second suggestion is, when searching KM# 70.1, if Numista has only KM#70, then it should return KM# 70, vice versa
I support your ideas.
Once I made a related complaint on currencies: https://en.numista.com/forum/topic59012.html
Also a related idea about country names was mentioned here: https://en.numista.com/forum/topic88593.html
ūūūūū
It's better to learn and use the correct terms. There's nothing called "hellers", but you should be able to write "haleru" and get a hit for "haléřů".
Haller, heller, haléř, halíř, haléře, halíře, haléřů, halířů, halier, haliere, halierov, fillér.

All the same (8 just search without the denomination and work with years then you are good to go.
A list of synonyms can be made but need to be made by the comunity to avoid any missused...
But the idea is nice.
Always look on the bright side of life!
Hello,

Synonyms for countries has been implemented. For instance, you can now search for "GDR".
This is also discussed here: https://en.numista.com/forum/topic88593.html

Synonyms for currencies is probably needed as well, but it's not implemented yet.

Hello,
I'm closing this old topic, since currencies way now be searched with alternative names.

Stato cambiato a implementato (Xavier, 7 Ago 2024, 11:19)

» Politica del Forum

Il fuso orario utilizzato è UTC+2:00.
L'ora attuale è 12:17.