Thank you for letting me know! I did search on the trac server, but did not find 16351 for some reason, only much older tickets that did not seem relevant.
Anne On Thursday, September 10, 2020 at 11:25:03 AM UTC-7 Samuel Lelievre wrote: > > > Le jeudi 10 septembre 2020 19:11:16 UTC+2, Matthias Koeppe a écrit : >> >> On Thursday, September 10, 2020 at 9:56:13 AM UTC-7, Anne Schilling wrote: >>> >>> I upgraded to the latest development version and now my research code >>> complains that SearchForest cannot be found in sage.combinat.backtrack any >>> longer. How come there is no deprecation warning? Where did the code go? >>> >>> >> It was removed in https://trac.sagemath.org/ticket/16351 >> >> As discussed in the ticket, the deprecation happened in prehistoric >> times, before the invention of deprecation warnings. >> > > In such cases, the Trac query engine is your friend: > > A search for tickets with "searchforest" in the summary > > https://trac.sagemath.org/query?order=id&desc=1&summary=~searchforest > > reveals ticket 16351. > > You can also query for tickets with "searchforest" in the description: > > https://trac.sagemath.org/query?order=id&desc=1&description=~searchforest > > and there are many other options, see: > > https://trac.sagemath.org/query > > This is so useful that I added a "search engine shortcut" > to my browser. Often browsers have shortcuts to search > on bing, duckduckgo, google, wikipedia, ... > > b stuff > d stuff > g stuff > w stuff > > so why not add tsum and tdesc ("trac summary", "trac description") > to be able to search using > > tsum stuff > tdesc stuff > > respectively defined as > > https://trac.sagemath.org/query?order=id&desc=1&summary=~%s > https://trac.sagemath.org/query?order=id&desc=1&description=~%s > > See this howto for how to set custom search engines > in various browsers: > > https://www.howtogeek.com/114176 > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/386e3e43-8c86-438c-b608-70469f9da07en%40googlegroups.com.
