I am not a professional jumper and this works just fine for me. It was easy to set up for my own height and came with an extra rope and a carrying bag. The heaviness of the rope allows you to jump more effortlessly than something lighter. For me that is important. This takes up no room at all and will be great to take on trips. At this price, which is a few bucks more than a child’s jump rope why wouldn’t you want to go with this instead?
https://www.amazon.com/gp/product/B076H38FPL/