In this ticket, I add a method is_finite() to the SymbolicRing. The necessity for such a method occurs to me in #17840. Of course, the answer is False.
Component: symbolics
Keywords: is_finite symbolic_ring
Author: Bruno Grenet
Branch/Commit: 3378995
Reviewer: Peter Bruin
Issue created by migration from https://trac.sagemath.org/ticket/18054